Create manual_html.sage