jenkins plugin: add docs back