The GitHub Pages docs were generated with jazzy in April 2021. They predate async/await, Result, scrape, everything recent. Move to DocC, publish from a CI job to Pages, and drop the checked-in docs/ folder. Coordinate with #27, which also wants a Pages deploy.
The GitHub Pages docs were generated with jazzy in April 2021. They predate async/await, Result, scrape, everything recent. Move to DocC, publish from a CI job to Pages, and drop the checked-in docs/ folder. Coordinate with #27, which also wants a Pages deploy.