Hi,
>> jvoisin started doing it --> now known as #6580. > Julien made it clear on IRC that he won't be able to take care of this
> in time for 0.23. Any taker?
Julien, do you think you can handle that in time for 1.2 (likely
freezing in September or October), e.g. during the HackFest?