The nForum has moved to Zulip: EL-∞ algebra.