Man pages matching name supertux2 in section 6:

supertux2.6.en	debian 10 / supertux
supertux2.6.en	debian 11 / supertux
supertux2.6.en	debian 12 / supertux