Comment # 12 on bug 1231065 from Fxzx mic

In recent years, I have seen a similar example in other distributions, but it
was a packaging disaster. There was a so library file belonging to a
development tool that was not separated from the development tool itself,
causing packages that depended on this so library to require the installation
of hundreds of development packages. For a long time, no one noticed (or
corrected it, thinking it was normal). Fortunately, separating a so file is
very simple, so I submitted a MR, and the issue was fixed within a few days.