3 ms·

That’s a fair point. Maybe this should have been 0.1. I can’t rmemeber how the version number got decided...