Man pages matching name get-healpix in section 1:

get-healpix.1.en	debian 10 / astrometry.net
get-healpix.1.en	debian 11 / astrometry.net
get-healpix.1.en	debian 12 / astrometry.net