@mitu I did it, but then suddenly my wi-fi dongle stopped working. Then I tried some more troubleshooting attempts for that and messed stuff up even more.

Much as it pains me, I'm just reinstalling RetroPie and doing it all from scratch. I made backups of everything, so hopefully I'll be able to salvage some of my customizations.