The ogv.js media player shim for IE/Safari loads some pre-minified JavaScript blobs directly from static files, as 1) ResourceLoader's validator/minifier barfs processing them and 2) some are needed in non-MediaWiki-specific Worker threads where RL is not easy to integrate.
It seems that these are being served from the wikis' web servers without gzip compression:
- https://commons.wikimedia.org/static/1.26wmf18/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/binPlayers/ogv.js/ogv-demuxer-ogg.js?version=0.9.8-20150810180140-2e779a7
- https://commons.wikimedia.org/static/1.26wmf18/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/binPlayers/ogv.js/ogv-decoder-video-theora.js?version=0.9.8-20150810180140-2e779a7
They should compress to about 1/4 their original size, which will help loading speed.