The nForum has moved to Zulip: Bénabou cosmos.