The nForum has moved to Zulip: strict adjoint 2-functor.