I meant to do it, but then other things become more important at that time. I will send a PR.