Removed HTML documentation.