When leaving comments in a proof, sometimes we have to go into further explanation, or separate directions or further text for insertion. Being able to leave a full line space (when you hit the. "return" key) between the direction or title and the explanation helps the users parse out what the need from the comment. In the new comments pane, everything is a bit jumbled up and hard to separate.