Right now you can only edit the main comment, not a reply, a frustrating issue for people who are often the repliers (ie the ones actually making an edit to a proof because they were asked to weigh in) and not the initial commenters.
Topics
Topics help categorize Community content and increase your ability to discover relevant content.