Added a little note of what to do if a new JENKINS_HOME setting doesn't get reflected in the Jenkins web UI.
Added placeholders.