I’d rather follow your first point up as, if you have a short comment because you took the time to purify and condense your thoughts, that’s a good thing.
But, don’t forget the overhead for the comment simply existing in the first place. You rapidly run into diminishing returns for shortening a comment to less than a few lines. Ten words conveying a thought is not effectively twice as dense as twenty words conveying that thought.
I’d rather follow your first point up as, if you have a short comment because you took the time to purify and condense your thoughts, that’s a good thing.
But, don’t forget the overhead for the comment simply existing in the first place. You rapidly run into diminishing returns for shortening a comment to less than a few lines. Ten words conveying a thought is not effectively twice as dense as twenty words conveying that thought.