URL page anchors for bookmarks about spex-3gpp HOT 1 OPEN

/**
   * @param{string} detail_str may come from user provided hashtag, need sanitizing
   * @param{Page=} src_page page containing the source event (e.g. link)
   */
            navigate_to_dest: function(detail_str, src_page) {

if (this.config['hashchange_handler']) {
    window.addEventListener('hashchange', function(e) {
          self.navigate_to_dest(document.location.hash.substring(1));
    }, false);
}

if (this.config['view_history_handler']) {
     window.addEventListener('popstate', function(e) {
          if (e.state) self.navigate_to_dest(e.state);
    }, false);
}