Since when do we have MIDI transcode? Well great, that's yet another reason to offer a transcoded link.

Looks like the "Parser" tag isn't helping, but this really is where the code is located. Pssst... @brion would you please take a look at this? You seem to be familiar with media support.

When the author puts a [[Media:]] link, they are explicitly requesting a direct file link. It's not entirely clear to me that we should be excessively clever here and in the process deny Safari users any way to download the original .ogg file (and perhaps play it with a proper app).

IMO this is a feature request ("detect a direct browser request for an .ogg file and transparently redirect to a transcoded version") which needs to be refined a bit further before it is actionable. I'm not convinced this is a parser issue -- it seems perhaps this is something the iOS app could do and/or the media servers.

I didn't say it has to override the existing Media: function. A new pseudo-namespace would work great.

IMO [[Media:]] should only be used for raw download links, if at all; for things like inline pronunciation guides we need an inline-triggerable player that actually supports the use case of playing a short audio file on click without replacing the entire tab with a full-window player or a download, depending on your browser and the format.

Hm, an alternative is to make [[Media:]] links behave magically via JS in a way that gives you a player on click instead of a raw download. I don't know if that would be a desireable change in behavior though.