How does that work? Are there any costs which are lower for DC overhead compared to AC?
Converting from an AC to DC electrification system is a complete mess, because the earthing arrangements are fundamentally incompatible.
In DC you want to isolate everything near the traction loop to avoid galvanic corrosion from current leakage, whereas with AC you want to earth everything to prevent dangerous touch voltages in various fault conditions.
You can't really do both.
DC to AC conversion will require a lengthy period of non-electrified operation whilst all the earthing work takes place.
You couldn't just swap 750V DC for 3kV DC OHLE without doing anything else.
You could have 750V DC third rail and 3kV DC OLE installed simultaneously if you wanted.
The switch between them could be gradual and in any case just, involves installing the OLE and turning it on when you want, and turning the third rail off when you want.
Also most of the clearance requirement is for the mechanical movement of the wire, that far exceeds the clearance because of voltage - 25kV will arc about 30mm in clear air
This isn't really true, the ENE TSI has imposed 25kV clearances far in excess of 30mm! I believe the standard minmum is now 270mm unless you want to go through an onerous risk assessment process designed primarily to prevent people making common use of it.
Also "clean air" is the best possible case for air resisting electrical discharges!
EDIT:
If you dig through this
mess, it appears that (on 1520mm gauge broad gauge railways) the "normal" clearance for 1.5-4kV electrification systems between live and earthed parts of the overhead line will be 200mm, versus 350mm for 25kV. Minimum allowed is 150mm/300mm.
Obviously different for 1435mm, but I'm struggling to find the standard for standard gauge (badum tish!)