When a comment is made on a proof, it shows up with Proof Comment before
the comment on the updates tab of that proof. Unfortunately, if replies
are made to that proof comment from the updates tab instead of on the
proof itself, they do NOT feed back into the proof.