GPL v2+, COPYING mentions files with other copyrights #5