This page moved to /writing/twn/posts/2019-04-geometry-positive-definiteness-and.html.