4 ms·

I had pitchforks at the ready if I saw any appearance of stale-bot, but you're right, it's legitimate.