@mitu I used the desktop version.
As this is a dedicated retropie device, I could have just downloaded the image. But at the time I was setting up three different RPis, two of them file servers. So it made sense to create them all from the same image, and avoid configuring them all individually.
Previously, my RPi wasn't a "dedicated" Retropie, so that was a manual install too.