4 ms·

I very much agree with this. Succinct comments have the advantage of being easier to keep in sync with code changes.