docs: def reference_id_from_html(html):
      """\
      Extracts the cable's reference identifier from the provided HTML string.
  
      `html`
          The HTML page of the cable.
      """
      m = _REFERENCE_ID_FROM_HTML_PATTERN.search(html)
      if m:
          return m.group(1)
      raise ValueError("Cannot extract the cable's reference id")