You can now find the information in the more general Scanner Environment documentation, which does seem to appear when I search for Java 11.
I don’t like this either.
Just so you know, we are revamping the documentation site soon (moving to a new platform) which should hopefully let us take our documentation to the next level. Our solution right now is a bit home-grown.
Thank you colin, the Page you referred me to has everything included
Sadly, i did not expect a rework of the docs, actually (that is why i did not search the other presented results, but only tried to find “the one missing”)
good news about the docs platform change, tho … i only get a tiny awkward sting when i read “take it to the next level” … but that is probably just me and my allergic reactions
//edit: only one additional thought: having a “versionized documentation” is, more generally written, a very good thing in my view … it might just bear a greater burden to keep it up to date? dunno