A simple script to manage different openconnect profiles. - View it on GitHub