jenkins_integration: minor cleanup and annotation