Not exactly the same situation as Ubuntu - the MP3 decoding checkbox downloaded Fluendo's decoder, which was actually properly licensed. But otherwise you're correct (FYI, there are EU and JP patents too).