The nForum has moved to Zulip: comparison theorem (étale cohomology).