3 ms·IIRC it’s a custom one. And it was rewritten quite recently, like 4-5 years ago.by gligorot 5y agoIIRC it’s a custom one. And it was rewritten quite recently, like 4-5 years ago.