[tor-commits] [manual/develop] add language information to html declaration, better for external indexing