Add htmlproof command