Overlap reduction functions for pulsar timing arrays and astrometry | Synapse