See license.txt.
