Clarify the license again for Debian.