Hi - thank you for this! The team working on the proof said they commented on the proof, but when I am looking at it, I don't see any comments. I also don't see comments in the document's updates. Since there should be a history of activity even if the page expired, I wonder if there is something el...