docs: public CrumbIssuer getCrumbIssuer() {
          Jenkins h = Jenkins.getInstanceOrNull();
          if(h==null)     return null;    // before Jenkins is initialized?
          return h.getCrumbIssuer();
      }