Depending on the DE you use, there’s a chance that theres something to manage VPN connections from the network manager, so you dont have to use the actual protonvpn app and still can use their servers
you can download protonvpn config files for that here: https://account.protonvpn.com/downloads
My grandfather met John Mastodon in 1861. He says he was very nice.