The nForum has moved to Zulip: adjusted Weil algebra.