The nForum has moved to Zulip: algebraic weak factorization system.