The official guide is obviously terrible at doing its job for linux, so I thought I'd write a tiny guide on how to do this myself. I use Arch, so this will be arch-centric. If you use other distros, lookup your version of the same packages as the ones Arch ships, but they should be fairly generic.
Install openconnect
. For arch, this is pacman -Syu openconnect
.
Once you did, you can connect to the VPN through: