The nForum has moved to Zulip: pasting law for pullbacks.