re-building HTML from spec.markdown

All the changes in this commit is just did `make`, which was forgotten in #74 and follow-ups.