The nForum has moved to Zulip: real coalgebra.