The nForum has moved to Zulip: 2-isomorphism.