The nForum has moved to Zulip: orthocompact space.