O.K. I see…one has to copy all of the above and then paste it into the command line. Enter. It worked.
But, my system was happier without the tweak unfortunately. In fact, all system tweaks seem to be a matter of hit & miss. It works for one and not another. Even the ol’ “update your drivers !” is not always the best idea. I did and now my system is worse for it.