Hello, It would be useful to be able to select the language of the documentation independently of the interface language. Also, a web link to the HTML page would be useful.
