Added htmlproof support.