The nForum has moved to Zulip: weak bialgebra.