Documentation

The SpecNext manual as web pages and Markdown, with search and links to the printed pages.