On the upside (and noted in the other thread), @bartv has put it on is to-do, just as a low-priority task.