Előd Illés wrote: > Thanks Stephen for working on this! If those patches get merged *and* > nothing else is needed, then Option 1 seems to be the better solution. It looks like they are all getting good review traction, so this is looking good. -- Thierry Carrez (ttx)