GoProof comment attachment

GoProof comment attachment