The nForum has moved to Zulip: super homotopy theory.