Update jmol_manual_html_render.sage