The nForum has moved to Zulip: holonomy groupoid.