I still maintain that a good royalty-free codec will get a DRM standard (by a third party if the creators don't define one), so having it not builtin to the core standard is a non-issue.