Quoting Christian Brauner (christianvanbrauner at gmail.com): > Updated version as PR on github. Thanks. I've fetched the tree on my laptop and will look at it in detail this weekend. -serge