Got html5 source to roughly where python source was.