Interestingly you can change the `.gif` to `.mp4` and you get a video _with_ audio.