3 ms·

I upvoted you here. Platitudes are generally unnecessary and shocks' tone was a bit prescriptive. It's just not good manners.