def _redir_dest_to_path(destination: str):
    """ Convert a redirection destination to a path fragment """
    assert destination.startswith('/'), "Redirection destinations must begin with '/'"
    return destination[1:]