Avoiding duplication of license text, putting in reference to LICENSE.txt.