The nForum has moved to Zulip: univalent groupoid.