HTML over populate the `docs/` folder. We should put them in a `docs/html/` subfolder
HTML over populate the
docs/folder.We should put them in a
docs/html/subfolder