Tpruvot will publish it in two days, then I will have a look and see if I can improve it further, and eventually push the commits.
Recently he's done a very good job so don't hold your breath ;-)