4 ms·

I think they were using it just fine because they don’t say or in any way imply that the choice is random.