GoProof comments tab replies

GoProof comments tab replies