This page moved to /writing/twn/posts/2019-08-supplementary-definitions-compactness.html.