More comments in htmlatex.