I don't have a strong opinion on the extension issue. However, at the
moment both audio and video are served with application/ogg _and_ the
extension "ogg". So if I want to set up separate audio and video
players for Ogg files (say XMMS and mplayer), I have to set up an
intermediate helper application that, after looking at the file,
decides which application to launch.
I don't think this is acceptable. Having different MIME types and the
same extensions seems like a sane way forward to me.
--
Peace & Love,
Erik
Member, Wikimedia Foundation Board of Trustees
DISCLAIMER: Unless otherwise stated, all views or opinions expressed
in this message are solely my own and do not represent an official
position of the Wikimedia Foundation or its Board of Trustees.