Fix #8756: doc: `extra-source-files` are tracked by `cabal build` (#8765)