This is mistakenly called SuperTux 2 in some places, which refers to the SuperTux milestone 2 presumably (0.2 version). This is, as far as I can tell, essentially the same game as SuperTux: Revenge in Redmond but much farther along its development as the original author never started a second game beyond the karting one.

Even the "publisher" of the original, New Breed Software, links to this newer revision of it instead of whatever the original was.