The nForum has moved to Zulip: structured (infinity,1)-topos.