Oh! Note that in Settings under Network, there’s also a VPN setting that allows you to manually configure a VPN. It has an “Import from file…” option, so presumably, there’s a way to obtain a config file that should make it work. If not, knowing which options to set might work as well.