FWIW I just tried ExtremeTuxRacer and it works out of the box for me (on GuixSD).
I do use PulseAudio though. To allow ETR’s sound output to mix with
other things that may be playing sound already, I have this in my
~/.asoundrc:
--8<---------------cut here---------------start------------->8---
pcm.!default {
type pulse
}
--8<---------------cut here---------------end--------------->8---
Should we add it to the account skeletons?
Ludo’.
