> Claude had indeed been used to format legal citations in the document.

Ah, they replaced a boring, well-tested, deterministic piece of automation software with an LLM.