[pxc]

> the ISO to install it from upstream was multiple gigabytes which seemed wild.

For the record, the Guix System install media is less than 1 GB. And the Guix installer from upstream looks to be 100 MB right now.