Also, teaching non-engineers about the different file types to use (like not using PNGs for raster content) is another realm of complexity.

Optimizing images programmatically is easy. Converting them between PNG and JPG programmatically, along with determining when such a conversion should happen, is very difficult.