When we have several comments on a proof and we get a notification that someone has replied, we can not find a way to quickly identify where that comment lives. If someone is replying to an existing comment we cannot use the filter functionality as it only filters on people who create the comment, not on those who reply. Is it possible to number the comments? This seems like it'd be an easy fix.