3 ms·

Hmmm. That would indeed be better. Seems like an interesting experiment to try and implement virtual threads for python!