Thanks, I'll install it.

The patch is missing a NEWS entry, but I prefer to wait until the second part of my upgrade is done (or abandoned for good), if you don't mind.