XSS in HTML generated by RDoc