The nForum has moved to Zulip: D-topological infinity-groupoid.