Man pages matching name eduactiv8 in section 6:

eduactiv8.6.en	debian 11 / pysiogame
eduactiv8.6.en	debian 12 / pysiogame