9.4.1 binary-dist-dir seems to duplicate binary files under /usr/share/doc/ghc/ ?!
This seems to be a regression compared to rc1.
See this test [build](https://koji.fedoraproject.org/koji/taskinfo?taskID=90603349) log on Fedora:
https://koji.fedoraproject.org/koji/taskinfo?taskID=90603349 (650kB)
(*edit*: updated the links and summary)
issue