Metrisation, Topological Groups, and Compacta