Generated docs for https://github.com/drlinux/cheri-article-files