See the file LICENSE.