The space https://topology.pi-base.org/spaces/S000144 has primary name "Diamond poset $2\times 2$ with Alexandrov topology".
But it does not appear when searching for "Alexandrov"
in either the Spaces page (https://topology.pi-base.org/spaces/all?filter=Alexandrov)
or the Explore page (https://topology.pi-base.org/spaces?text=alexandrov).
The space https://topology.pi-base.org/spaces/S000144 has primary name "Diamond poset$2\times 2$ with Alexandrov topology".
But it does not appear when searching for "Alexandrov"
in either the Spaces page (https://topology.pi-base.org/spaces/all?filter=Alexandrov)
or the Explore page (https://topology.pi-base.org/spaces?text=alexandrov).