593ed9c9

Docs: request-budget regression fails the test suite, not CI

f65b1cbc

Remove the GitHub Pages site and all CI: delete docs/, .github/, codecov.yml and the README CI badge; move the theme-aware favicon to documentation/images; rewrite SIGNING.md and ARCHITECTURE.md for the local release driver