Man pages matching name gpsdebuginfo in section 1:

gpsdebuginfo.1.en

debian 13 / gpsd