If i try to highlight a # or link in a proof comment, it's very very difficult unless I click edit on someone else's comment. It would also be nice if hyperlinks were allowed in comments to clean them up instead of copy and pasting urls