Eu tenho o network-manager-openconnect-gnome instalado, mas não há opção para o OpenConnect no Network Manager. Se eu correr
sudo openconnect vpn.work.com
E, digitando meus dados, posso conectar-me à minha VPN profissional, para que o openconnect esteja instalado e funcionando, mas não está aparecendo no Network Manager.