I have recently uploaded [[:File:Wikimedia Hackathon 2019 Punk band.ogv]] using the standard Upload wizard. The original file type before uploading was indeed ogv. During upload this was inadvertently changed into ogg. A bot renamed the file back to ogv, as per the https://www.ietf.org/rfc/rfc5334.txt rules.
How to avoid the renaming step? The upload process seems to change the original ogv extension to ogg. Why does the upload program not keep the original (and correct) file type? Could this video file naming error be possibly fixed?