There’s nothing in
/home/pi/.emulationstation/gamelists/<system>
/opt/retropie/configs/all/emulationstation/gamelists/<system>
/home/pi/RetroPie/roms/mame-mame4all
Where RetroPie takes the names of games?
EDIT: Ok, a user wrote that they are hardcoded into EmulationStation. I wrote a script that create che correct gamelist.xml file from the original .dat MAME file.
Bye