SM-13386 Proof edits to workflow docs