As an example I added the attributes to my email above, and copied the mailing list archive page. Didn't bother to adjust relative css/js references, so it'll look bad in a browser, obviously.
I don't think anybody has, but it certainly would make sense to do so!
Maybe it would actually also make sense to do so in the documentation pages for example? (it would probalby be a lot of work to do it across *all* of the website, but the docs could perhaps be singled out)?