rebuild docs with a version of tidy that doesn't break <pre> formatting