According to #535147, it looks like supertux has already been adopted by the Debian Games team (in experimental, at least). I'll just prepare updated packaging for supertux in unstable, then. Vincent