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