See license.txt.