The accelerator pedal is sticking again. I'll probably get the pedal shaft properly lubricated by removing it completely. I couldn't get the lubricant into the shaft. The only thing I did was drench the mechanism ends with oil. Also, do what you advised, i.e. removing the accelerator cable and reinstalling it.
I wonder whether it is still possible to buy a new RHD accelerator pedal shaft.
Pete, many thanks. I'll also get the brake master cylinder checked. The leak does not appear to affect the brakes.
It looks like the list of things to do with the car is lengthening. In addition to the above, replace rear shock absorbers, full service (change oil, replace plugs/condenser/points et al.), replace idling solenoid, check rear brakes (advisory) and others.