[Hello71]

I was going to ask how you speed up pygments so much, but apparently the answer is "actually, some stuff is cached".

[ddevault]

Ah, yes, some stuff is cached :) but it doesn't do much, we kind of cache it on principle. An example that makes more of a difference is the git SSH pipeline.