2 ms·

Though would that have looked good enough for initial PR?

• tyingq 5y ago
  Oh, I meant as an optional thing for people where this kind of thing is an issue.