The nForum has moved to Zulip: coherence and strictification for monoidal categories.