Follow-up from "Fix duplicate docs publishing"
We noticed that minify was duplicating content, and we made a small tweak to stop this in: !2900 (comment 1018572640)
We should figure out exactly what happened with minify to make sure there are no further problems. We might need to upgrade/downgrade, for example. It seems related to !2799 (merged), when we started using a new combined docker image.