Currently at a very nice hotel, with a great breakfast but a WiFi networks which allows only ports 80 and 443. As a result, I need to tunnel all the Gemini traffic :-( (By the way, it seems there is currently no Gemini client with SOCKS support?)