02-11-2025, 08:27 PM
That is the venerable Dino. Yeah, not the most original name, nor really an open source mascot as far as I remember. If anyone want to try to revive it as an add-on, the sources is at https://sourceforge.net/p/supertuxkart/c...arts/dino/ but I also found an older version at https://sourceforge.net/p/supertuxkart/c...arts/dino/ - tracking things down through all the media repo reorganizations through the years can sometimes be a bit of a headscratcher but it can be done.