- Do not include
NoBackendbackend. It was only included for Haddock, but Haddock does not actually need it. This causes a 200MB reduction in max residency when generating haddocks on the Agda codebase (roughly 1GB to 800MB).
- Fix DocStructureItem generation for associated data families.
- Update Haddock submodule to include hi-haddock work.