A Safari extension that replaces video with <video> on play.md