Fix manual

[stertooy]

Closes #25.

• Correct or remove BookName in Ref
• Add Labels for multiply declared operations/attributes/etc, to avoid duplicate labels

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.88%. Comparing base (58594dc) to head (a9e0aa7).
⚠️ Report is 6 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master      #32   +/-   ##
=======================================
  Coverage   96.88%   96.88%           
=======================================
  Files          44       44           
  Lines        3047     3047           
=======================================
  Hits         2952     2952           
  Misses         95       95           

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[stertooy]

The failure in the CI test is due to the migration from setup-gap@v2 to v3, which means the dependencies are no longer built.

[james-d-mitchell]

Looks good to me too