We can have an automated GitHub action to make the docs on commit Things to verify: - Does the script to make the documentation also removes things if and when they are removed?