Joseph Rushton Wakeling:
Hope you don't mind me jumping ahead of your existing PR on this -- it's been inactive so I didn't know if you were planning on following up.
I don't mind, I am happy :-) Thank you for adding a sorely needed function.
The useless patch I opened should be closed. Bye, bearophile
