The nForum has moved to Zulip: multiplicatively idempotent semiring.