@ret there is a fork of Tux Racer that is still maintained and packaged in many linux distributions.

https://sourceforge.net/projects/extremetuxracer/
https://repology.org/project/extremetuxracer/versions

https://www.youtube.com/watch?v=VHCca9csS1o