The nForum has moved to Zulip: Taking the idea of tangent infinity-categories seriously.