The nForum has moved to Zulip: algebraic structure.