3 ms·

Oh 100%. Discussing style within a PR unrelated to changing the styling rules seems like a waste of time.