The nForum has moved to Zulip: bipermutative category.