But in fact you need to install wireguard yourself, because networkmanager only has a plugin, not wireguard itself. Happy to see it works.