4 ms·

This is great, thanks. I put it in revise and did a tiny bit of cleanup, but nothing worth really publishing.