The nForum has moved to Zulip: differential cohomology.