4 ms·

I believe they solved that problem and made it the default years ago. And there was a fix for it as far back as 2018, when I started using xonsh.