CI

Workflow runs for CI

• Cut agent instructions down to what the code can't tell an agent

  completed successfully:
  CI#6:Pull request#3openedbyRadiergummi
  prune-agent-docs

  Oct 29, 202614s
  More actions for workflow run 6

• chore(deps): group security updates alongside multi-ecosystem groups …

  completed successfully:
  CI#5:Commitfe47759pushedbyRadiergummi
  main

  Sep 4, 202640s
  More actions for workflow run 5

• chore(deps): group security updates

  completed successfully:
  CI#4:Pull request#2openedbyRadiergummi
  chore/dependabot-grouped-security-updates

  Sep 4, 202631s
  More actions for workflow run 4

• Bump the "github-actions" group with 1 update across multiple ecosystems

  completed successfully:
  CI#3:Pull request#1openedbydependabot[bot]Bot
  dependabot/github_actions-2514a98571

  Aug 20, 202615s
  More actions for workflow run 3

• docs: correct two false claims and add a rename guide

  completed successfully:
  CI#2:Commit9e90a83pushedbyRadiergummi
  main

  Jul 30, 202628s
  More actions for workflow run 2

• ci: add CI, Dependabot, docs and agent configuration

  completed successfully:
  CI#1:Commit97385e6pushedbyRadiergummi
  main

  Jul 30, 202619s
  More actions for workflow run 1