Permission to use, copy, modify, and distribute this documentation for
any purpose and without fee is hereby granted, provided that the above
copyright notice and this permission notice appear in all copies.
<copyright holder> makes no representations about the suitability for
any purpose of the information in this document. This documentation is
provided ``as is'' without express or implied warranty.