The nForum has moved to Zulip: 2-morphism.