When I first switched to Linux, I was nonplussed at why many videos didn’t work. It ended up being a positive learning experience, but it certainly would be nice if the codecs could be shipped directly, as you say.