Do we have docs for how to do this (e.g. in case Jenkins loses its config)?