I have network-manager-openconnect-gnome installed, but there is no option for OpenConnect in Network Manager. I am aware of this past question for Ubuntu 16.04. On 20.04, I have done the following + reboot without getting it to work:
sudo apt-install network-manager-openconnect network-manager-openconnect-gnome
The VPN options I currently have are:
vpn options
Any idea why that could be? Thanks a lot in advance for your help.