Hello everyone,
I am an affectionate reader of the online manual, and today I noticed that a very useful feature is not working in many of the browsers I tried (Safari, Firefox, Chromium).
Since the references page does not show the reference numbers, it is useful to select the text by simply hovering on the reference number on the webpage, and copy paste it in Google; this feature stopped working very recently, so I want to give feedback about this. I think having an updated on-line manual is a very nice feature, and it’s a pity not to be able to access the references.
Thank you very much for reading, have a nice day 