The nForum has moved to Zulip: Jones' theorem.