If the file is copyright then you may need a license to downld it. Make your own decision on what you do. See License requirement (click on link) Eventually all copyright files will probably require licensing since they'll need to be registered.