rot13.html passes HTML5 validation