It sounds like you've identified the actual problem you need to fix. Why shouldn't the browser know how long a couple of short video files are? Also, if the vi

It sounds like you've identified the actual problem you need to fix. Why shouldn't the browser know how long a couple of short video files are? Also, if the video files don't have an audio track, you shouldn't get a PIP control. Why do these GIF-replacement videos have an audio track? I believe (but have not tested) that adding the `muted` attribute to the `<video>` element will have the same effect as removing the audio track from the video files themselves.