Aliases in list of theorem counterexamples make the list too "busy"

[prabau]

The threshold adjustment for the fuzzy matching was a nice improvement. But not sure about adding the space aliases everywhere. Specifically, when showing that the converse of a theorem is false by listing a bunch of counterexamples, the list looks too "busy" now. For example:

https://topology.pi-base.org/theorems/T000040

Do we really need to show the aliases in that context?

[StevenClontz]

I defined a component that asserts how each cell of a table that describes a space should be rendered. This can be special cased, at the expense of maintenance. I'm inclined to keep all table cells desribing a space DRY but want to hear from others.