Man pages matching name splashy in section 8mandos:

splashy.8mandos.en	debian 11 / mandos-client
splashy.8mandos.en	debian 12 / mandos-client