Ported some content from spec.md to templated HTML