Basically this question has been asked before, albeit with a different flag/argument, and it's been a few years.
Since the people who administer my local network have apparently misconfigured IPv6, I need to manually specify an IPv4 address that I want my VPN gateway to resolve to. This can be done using
openconnect --resolve=HOST:IP gateway.
Is it possible to have Network Manager use the --resolve=HOST:IP argument? I tried adding the value pair to the [vpn] section of the .nmconnection file for the VPN, but it just ignored it (and yes, I did reload the file).