HTML Tidy plugin initial version