The nForum has moved to Zulip: jet comonad.