This commit does not intend to result in any legal changes. It's sole
purpose is to clarify the license conditions and improve compliance with
filename and formulation conventions.