The nForum has moved to Zulip: Tate's acyclicity theorem.