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