We did consider that, but sometimes one wants to collapse a very long top-level comment.