Well, I now do regret taking photos of the GPS antenna – as my model D now has no GPS reception at all. It was initially ok after reassembly but it started to become unreliable, and ultimately had sketchy reception, so I took the cover off and flipped the antenna back to the correct orientation (foil side down) and I don’t think it’s had a satellite lock ever since. Testing with a multimeter, there is a short in the cable; massaging and maneuvering the cable can resolve it but a small move is all it needs to return.

Does the connector fit through the hole or was the cable soldered onto the antenna after it was installed?
I think the antenna cable really needs its own hole and I think that hole also needs a grommet to protect the cable. I believe that reinstallation of the antenna cover, after coming off numerous times, is what has caused this failure; the peg on the cover has simply crushed the cable and also stripped some of the insulation.

@radhoo, I’m wondering why you’ve suggested changing the antenna over to one that has ~15dB of gain, versus the original which, as far as I can establish, probably has 28dB of gain. This page shows a number of different antennas, including what I believe is the same as the standard antenna. I’m considering this 32dB antenna.

At 13:14 today, my model D stopped uploading because it had frozen – which I think is a first for mine. I noticed at ~18:20, when I picked it up to have another go at the GPS antenna cable and couldn’t wake the display.