Update user.workflow.spec.md