...and we're back!
No, I didn't bodge it. What I actually decided to do was install the new sensor as per the original (more or less), but made some improvements to fitting. With a fully-fledged working printer, I can prepare the parts for an upgrade and hold that in abeyance until needed or the whim takes me.
The trickiest part was trying to crimp the sensor leads into a new JST XH 3-way connector, as I didn't want to spend £20 or more on a crimp tool (but I might have to in the end). I found the only way I could make a reliable joint (without the crimp tool) was to solder them, just squeezing with pliers was not accurate enough.
The improvements I made were to bring the cable sheath into the anchor instead of it stopping short, bringing the sensor cable through the anchor and making a swan-neck in it, and providing the leads to the heater block a bit more slack.
Something I don't like is the grub screws gripping onto the sensor body – I wish there was thread at each end of its mounting so that the locking nuts supplied with it can be used. The grub screws grip onto the thread, which makes the adjustment notchy rather than continuous. If I can, I'll slip some shim in so the screws press on that, and then the adjustment should be smoother.
(Update: I discovered the problem is that the screw tips were not flat. Filed them off, problem sorted.)