which libinput?
It matters, it turns out
Public service announcement
In which I did not check the full nature of the fix
An update on
The details are in the following and the referenced links,
The short explanation is that, yes, libinput was installed, and yes there were some .conf files in /usr/share/X11/xorg.conf.d
But not with the right content.
The full installation line is
sudo apt-get install xserver-xorg-input-libinput xserver-xorg-coreAnd this creates simpler and different .conf files which do the trick, as far as I can see.
Other people have investigated their own customisation, as we can see here and here.
