def jinja2_targetpage(env, target):
    """Returns the page basename (without ".html") of a link target.
    E.g. "authors.html#Shakespeare" yields "authors"
    """
    return (target.split("#")[0]).split(".")[0]