3 ms·Well, it's a lot more than on Mercury.by _emacsomancer_ 9y agoWell, it's a lot more than on Mercury.