Yes, that's the FAQ entry I was following -- I see the link to the manual process, now. I skipped over that section, because it's titled "Special note for large drives", and I most certainly wasn't dealing with a large drive.
The addition I'd like to see is a mention that folks trying to upgrade disks on Linux may need to follow the manual upgrade process, because applying the disk builder .upgrade file on Linux is known to be problematic (both upgclient and jEmplode(*) are flakey, leaving no way to actually apply the upgrade).
Had I known that, I would have gone manual from the start, instead of wasting an hour downloading things I ultimately couldn't use, and troubleshooting stuff that went wrong.
On a side note, the link to Mark's disk builder gives a 404.
(*) jEmplode won't find my empeg unless it booted fully. When the new disk is plugged in, instead of my old disk, I got a "no disk" error, and the empeg doesn't bring up the ethernet link. jEmplode never finds the empeg, and, consequently, can't be used to apply the disk builder .upgrade file.