The nForum has moved to Zulip: (0,1)-category.