2 ms·

I'm so relieved that stale-bot didn't become as common as I feared it would. I hardly ever see it these days, and good riddance!