LICENSE: deleted file, GPL is not meant for documentation