3 ms·

I do worry a bit about noise, though.

• Godel_unicode 6y ago
  Perhaps make it easily quieted in the settings, and some kind of backoff between warnings? I definitely agree that it could be too much, on busy development systems especially!