https://bugzilla.redhat.com/show_bug.cgi?id=1752288
--- Comment #3 from Zbigniew Jędrzejewski-Szmek zbyszek@in.waw.pl --- fedora-review says: - Large documentation must go in a -doc subpackage. Large could be size (~1MB) or number of files. Note: Documentation size is 127211520 bytes in 4678 files.
Yep, /usr/share/doc/Coin4/html should move to -doc subpackage.