A bunch of miscellaneous things related to manifolds.