The official retirement of Supertux.