keys.gnupg.net no longer resolves and it's in use on the setup script. It looks like it's been out of commission for awhile along with a bunch of others back in 2019 because of GDPR legislation. Probably should switch over to something like keys.openpgp.org.