2019-01-23 "MARIO" name was replaced with "TUX" In Frame and in game
window
2019-01-23 Tux shrinks after dying and fire pepper turns little Tux into
big Tux instead of into fire pepper Tux.
2019-01-24 the music tempo increases by a factor of 1.3 when there are 
100 seconds or less left to play.
