Phew, glad that's over. Thanks, everyone, for your help.
I was surprised to find that all of the hacks worked right away on the target system (Pikachu) after swapping the SD card after the transfer. No need for injectables, cia files, or reinstalling anything. As for the Red one, I merely had...