I wonder about using an RPI Pico for this instead, using the Pico's synchronous PIO gizmo to intercept the PPS pulses.

There was a discussion about this on the time-nuts mailing list that was enlightening; tldr was it's not going to get to the same accuracy as you'd expect compared to a dedicated timing circuit (like a good GPSDO), but it would be a fun learning exercise.