The nForum has moved to Zulip: Rocq.