The nForum has moved to Zulip: Fundamental Groupoid for a Lattice.