A brief history of manifold classification