- Embed dune build $(DUNE_OPTS) @doc output
- Add a regexp based validation mechanism
- Connection with gh-pages, through sphinx.ext.githubpages