On Oct 11, 2017 09:46, "M. Fioretti" <mfioretti@nexaima.net> wrote:
I solved the problem brilliantly by... switching (also for other reasons)
to Ubuntu 16.04LTS. Not 100% good, but much, much, much better from the
point of view of this post.

My highly unscientific opinion is that there is something in the F25
COMBINED, default configuration of:

Staying in the unscientific field: who knows if reinstalling Fedora (instead of another distro) from scratch, performances would be improved? :-)


Ciao
A.