doc: sync with gh-pages branch.

* doc/specl.md: Sync with gh-pages index.md, for kramdown support.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>