Man pages matching name gpsrinex in section 1:

gpsrinex.1.en	debian 11 / gpsd-clients
gpsrinex.1.en	debian 12 / gpsd-clients