Add HTMLTidy plugin