Miscelleanous
A bag of bits of joy
Assuming the Continuum Hypothesis, it is possible to find a perfectly normal topological manifold that is not paracompact (hence not metrisable).
Depending on the chosen axioms, it may be possible to say that every perfectly normal and locally compact space is paracompact [0].
References
[0] Larson & Tall, Locally compact perfectly normal spaces may all be paracompact