Ability to search the comments (within a single proof) if you are looking for, with one word or phrase. Especially if the list of comments is very long it would be nice to be able to try to find the one comment you’re looking for without having to scroll through all comments.