Test some HTMLDoc.