The nForum has moved to Zulip: weakly Hausdorff topological space.