Audio files uploaded as .ogv

[Daniel-Mietchen]

While using the wmde-review branch, audio files are occasionally uploaded as .ogv.
Examples:
https://commons.wikimedia.org/wiki/File:Prefrontal-hemodynamic-responses-and-the-degree-of-flow-experience-among-occupational-therapy-jeehp-11-24-abstract-recording.ogv
https://commons.wikimedia.org/wiki/File:Near-peer-mentoring-to-complement-faculty-mentoring-of-first-year-medical-students-in-India-jeehp-11-12-abstract-recording.ogv
As per
http://eutils.ncbi.nlm.nih.gov/entrez/eutils/efetch.fcgi?db=pmc&id=4319471 ,
the original file seems to have been .avi, but shouldn't there be a way to detect that this file is audio only, and to name it .oga accordingly?

An example where .oga comes out as expected:
https://commons.wikimedia.org/wiki/File:Lesions-of-either-anterior-orbitofrontal-cortex-or-ventrolateral-prefrontal-cortex-in-marmoset-Audio2.oga