Updating to use TCP over port 443

DigitalOcean blocked UDP for whatever reason, so now we go over TCP and take a slight hit on connection speed. Better for not being blocked in general, probably, too.