make leo_to_html.py use regular Leo @settings