I'll have a look. Thanks! According to TIP #0, any project which has two sponsors from the TCT and no objections just can go on. This one has two sponsors (francois' and mine) and no objections. A TIP is just a way to execute the votes, but in my view a ticket can be used just as well for that for minor issues.

Stay tuned ....