Die Safari Extension PiPTool [https://github.com/bfmatei/PiPTool] von Bogdan
Matei[1] für macOS (ab macOS Sierra / Safari 10) ermöglich es Safari den
genialen Picture-in-Picture Modus auch für Video's, die keinen HTML5 Player
anbieten, anzubieten.
Das schaut dann z.B. so
