Update GitHub Pages copy of spec.