@joel@gts.tumfatig.net yes! I've had to do that on one or two other VPS providers too. But it's such a nice simple way to get the installer when they don't provide Bring Your Own Install ISO conveniently. ☺