4 ms·

Thanks for mentioning this -- I hadn't heard of it. Google did indeed return a PDF link as the top result. Will give it a read!