The nForum has moved to Zulip: foundations of mathematics.