removed htmldoc from main repo, will carry it around in wiki instead