See file "COPYRIGHT".
