A note on authorship

Some pages in this section are drafted or expanded with the help of AI (LLM) tooling, then reviewed and edited by me. Treat them as working notes rather than authoritative references, and verify anything you plan to rely on.