So should those be considered bugs?:

1) Player identifies an Mpeg1-Layer2 file as "codec=MP3"
2) Emplode names an Mpeg1-Layer2 file as ".MP3" instead of ".MP2" when downloading

No. Almost every other bit of MP3 software I've come across (Winamp, Sonique, libmad, Napster, Audiogalaxy, even Lame) uses the ".mp3" extension whatever layer audio is used. Nobody encodes MPEG-1, -2, or -2.5ness into the file extension either. This is the Right Thing.

Peter