Thank you very much for reporting this!

That code is untested, as it requires human verification. I've added your code to the codebase and will soonish release it.