Document other ways to configure Jenkins