Now sorted - Brompton derailleur trigger (pre-2017 type, with bell)

[rogerzilla]

Just as a spare so I don't have to change everything (or have mismatched brake levers, the horror) if mine wears out.