Explain that public-domain license is public domain to appease lintian