ページ名の変更

mildly paracompactの名前を変更します。