Bounds on neutron-mirror neutron mixing from pulsar timing | Synapse