def get_title()

in rst/options_node.py [0:0]


def get_title(title_str):
    t = str(title_str).strip()
    if t.startswith('<title>'):
        end_s = t.find('</title>')
        t=t[len('<title>'):end_s]
    return t