Hi Guix! Here's a patch to add ocproxy, a SOCKS proxy for OpenConnect (https://github.com/cernekee/ocproxy). Thanks! Pierre