2 ms·

I suspect the 'unfortunate' in the parent comment was dry irony, not an earnest expression of sadness.