GoProof pin comment box

GoProof pin comment box