Update web-page generating scripts with proof language changes