[quote=4308]Is pocketsnes the default SNES emulator for RetroPie?
IE: In Super Mario Kart, the game puts an opacified-number noting your current place on the top of the user-space but pocketsnes renders this layer under-neath.

I noticed the same issue. If I read things correctly we are using an older emulator core as it tends to run faster. I think there have been a lot of SNES emulation fixes which are not currently on the RPI.