See the manual for license and copyright information.