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)