3 ms·

Double clicking makes little sense on mobile as it is, and the delay should be done away with by default. Thanks for the reference, and thanks to the OP