or use a neon lamp & resistor.
Yes, that seems finally the easiest way. I did not realised before that one had to put all these components, with this bulky capacitor. I will look for a stock of cheap neon bulbs which I could then fit in these various power indicators.
Indeed, on most of hte old devices I see, these are dead. Most probably the users do not bother to change them when
they broke.
In fact, for the one I just repaired, as it was a power supply, I did it the easy way by powering a led (with resistor) from the fixed 15V DC output instead of the input AC, as it was in the original design.
Of course, it would not be desirable if the voltage regulation was very critical but it was not the case.