haruspex

Branch used to publish documentation via GitHub Pages, see idalib’s GITHUB-ACTIONS.md.