The nForum has moved to Zulip: irreducible topological space.