The docs website is currently not automated, we could automate it in CI (by diffing gh-pages branch with newly generated docs?)