Hi guys, I don't mean to pressure you, I'd like to know if we (ubuntu) should take the delta proposed above or do you intend to push the fix soon? It has been blocking pygments migration for 1 month now. Thanks, Alex