jenkins_integration: cleaning up, adding documentary FIXME comments