The nForum has moved to Zulip: Hausdorff space.