The nForum has moved to Zulip: idempotent monoid.