That’s exactly right—I get the same pings with the same timestamps on all devices.
I tweaked the merge script so that it doesn’t panic if it sees duplicate pings. It merges tags for that timestamp from all available logs. It also highlights where a ping is missing from all its logs.
For the avoidance of annoyance, I’ve also rigged it so that my iPhone only gets pings that weren’t answered on a desktop. I also attempted to have the xterm window only pop up on machines that were being actively used, but with less success.