Interesting that the author used a .texi file for the documentation. I assumed it was an org-mode export to html, nice to be wrong and see more ways people write docs :)