@brummyfan2
Once again: thank you for your adivce.
I did what you suggested, but unfortunately, not only did the problem persist, I also found out that this makes the touchpad a lot 'dumber' (no pinch to zoom, for instance).
I'm afraid I'm running out of ideas...
