Home {% if session.admin_user %} {% if current_user.is_authenticated %} History {%endif%} {%else%} History {%endif%} History Session History Tree {% if session.admin_user %} {% if current_user.is_authenticated %} Config {%endif%} {%else%} Config {%endif%} {% if session.admin_user %} {% if current_user.is_authenticated %} External tools {%endif%} {%else%} External tools {%endif%}