Removed HTML documentation files.