While I was installing A9LH on my 3DS, I performed a system format, because it supposedly decreases the chance of a brick. I had the Persona Q theme on my 3DS, and afterwards the system doesn't recognize it, but the Theme Shop tells me it's on the system. I backed up and restored the contents of my SD Card at least twice during the process; does that mean the theme files are still on the card somewhere (so the theme shop sees them and won't let me redownload) but uninstalled from sysNAND (which means the system has no idea they're there) or something similar? Are there files on the SD card I could delete to allow me to redownload the theme? Can I reinstall it somehow from the files on my SD card? Or (last resort) does anyone have that theme "dumped" so I can simply install it through the HBL?