My workstations is working fine now, I have a working VPN+Tor setup.
However, I can’t update/maintain the gateway.
If I try apt-get-update-plus dist-upgrade I get a few Hit and Ign, before it fails at Err:10 tor+http://deb.{some long onion string}.onion stretch InRelease, which it can’t connect to, host unreachable.
Is this normal, or is it a problem?