I've realized there's a decisive difference between SuperTux, which represents the first stable release, and SuperTux2, which represents development of the next stable release. # # #