Is gzemnid still required? #4501

Refs: #4499

TL;DR we need to figure out what we need to migrate from DigitalOcean in light of their sponsorship winding down.

One of the DigitalOcean servers that Build has provisioned is gzemnid, #1540

Is this still being used? (based on authorized_keys on the machine cc @ChALkeR @BridgeAR @lirantal)