Changed oil at the workshop. Replaced the very tired-looking Millers Classic 20/50 semi-synthetic with more of the same. New filter, too, but had to re-use the O-ring because I couldn't pick it out of its seat.
It's not leaking and the car sounds much healthier.