The nForum has moved to Zulip: flat distributive lattice.