def _undefined_bookmark_issues(html: HtmlText) -> Iterable[Issue]:
    """
    Assuming the html was already rendered from markdown and all the unreferenced
    bookmarks remain as-is in the html text.
    """
    for match in _MARKDOWN_BOOKMARK_PATTERN.finditer(html):
        yield _pattern_issue(
            match,
            html,
            f"Undefined markdown bookmark referenced ({repr(match.group(0))})",
        )

    Assuming the html was already rendered from markdown and all the unreferenced
    bookmarks remain as-is in the html text.
    
tools/verify.py