Merge "Workflow documentation is now in infra-manual"