Copying of html-pretty

This program is in the public domain, and may be freely distributed.