added comment for htmlhint's options