The nForum has moved to Zulip: null homotopy.