3 ms·

In general, yes.

• zephen 14d ago
  I'd be happy doing it 99.99% of the time myself, but I don't want to form the habit to think it's a good thing to do.
  • sanderjd 13d ago
    Yeah I don't think we disagree that much about this. But I'm not really worried about this particular habit forming risk. I can see where you're coming from though.