Comment by bluGill

Too Soon often we thought those were obvious and didn't comment. Meanwhile there are detailed comments about things nobody cares about.