Maybe a tangent but the embedded video does not work for me in both chrome and firefox on linux. It's a hevc .mov, a h264/AVC mp4 (or webm) would work almost everywhere.