folks,
I decided to waste more time and booted up the other laptop; it has MX
installed. (I had forgotten; usually on TDE, a continuation of KDE3.)
had to fool around with the configuration, also forgotten since that
laptop usually boots straight to Windows 10 Pro.
figured it out and, lo and behold!, it sucked down the hotel´s gateway
and everything - the whole route table nicely filled in!
easy to start Brave and input the needed credentials.
of course the commandline ´ip --oneline route get 1.1.1.1´ incantation
also yields the gateway.
you need the browser to input the credentials but any modern browser
will do.
nice outcome! useful discussion!
thank you.
f.
--
Felmon Davis
Verbum sat sapienti.