Downloading an older format really isn't a high price to pay for getting rid of DRM. But yes, in time, as older devices disappear, this could become a big problem.