@apLundell @gargron Ogg's still a bit more efficient space-wise and better quality audio-wise. But most users won't notice.
That said, the main issue with mp3's were the patents, as you say. It's still a big problem for h.264 video, of which the patent holders are fairly litigious.