The nForum has moved to Zulip: compact Hausdorff spaces are normal.