The top documents tagged [class htmlhtmldocument]