The nForum has moved to Zulip: equivariant K-theory.