We should automatically generate source code docs and deploy it on GitHub. Would it work with [GitHub Pages](https://docs.github.com/en/pages)? - [ ] Add generating docs with doxygen to CI. - [ ] Deploy the docs on GitHub using CI.