[gligorot]

IIRC it’s a custom one. And it was rewritten quite recently, like 4-5 years ago.