Set the <HTML lang=xxxx>

We're using Domino 9.0.1. I found this field in iwaredir, along with $$HTMLFrontMatter, which I suppose works for the doctype. I have no idea if either of these are documented anywhere, or where that might be.