Man pages matching name springlobby in section 6:

springlobby.6.en	debian 10 / springlobby
springlobby.6.en	debian 11 / springlobby
springlobby.6.en	debian 12 / springlobby