3 ms·

I'm not sure what the best point of public contact is, but maybe nickv can say something about that when there's a minute...