The nForum has moved to Zulip: limit point compact space.