Update manual_html.sage