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 log on Fedora: https://koji.fedoraproject.org/koji/taskinfo?taskID=90603349 (650kB)
(edit: updated the links and summary)