Remove Tidy option.
treeda8811f098d2880c499edde78d4a252904d3890b
-rw-r--r-- 29085 comparison.html
-rw-r--r-- 9326 favicon.ico
-rw-r--r-- 15615 index.html
-rw-r--r-- 2658 logo.png
-rw-r--r-- 1697 mantis_notes.txt
-rw-r--r-- 1573 pngfix.js
-rw-r--r-- 1954 release.txt
drwxr-xr-x - releases
-rw-r--r-- 2994 style.css
-rw-r--r-- 2911 toc-gen.js