4 ms·here's another one: https://addons.mozilla.org/addon.php?id=1825by brett 20y agohere's another one: https://addons.mozilla.org/addon.php?id=1825