The nForum has moved to Zulip: supergravity Lie 6-algebra.