The nForum has moved to Zulip:
hopfish algebra
.