Aliasing mp3 → mp3_player
Reason: shorthand, and the only reasonable interpretation of the mp3 tag.
Updated by jxh2154
Posted under General
Yeah, I definately wouldn't alias this, since mp3 technically indicates the audio file rather than the player, of which I think would be hard to represent visually. The mp3 files and video files are all from early in the site's history, probably more of an experiment than anything. I don't think they were ever officially banned, or officially endorsed, nor do I think they are filtered from being uploaded (though I can't say I've ever tried). For that reason, I don't know that we should can or alias from those tags, even if they are barely used.