Man pages matching name nauty-genposetg in section 1:

nauty-genposetg.1.en

debian 12 / nauty