The nForum has moved to Zulip: distributive lattice (2).