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: