Moved the HTML documentation into its own subdir of docs/