Correct. If you choose to use the older image, you would download it from the same location. Next, write to an SD card and run on RPi. Once loaded, access HG via the RPi web address (default port 80) and navigate to the configure->maintenance section to perform an update of the system. Either way gets you the same end result.