Yep, looks libinput is the driver in use (it says, "Using input driver 'libinput' for 'SynPS/2 Synaptics TouchPad'"). I caution you against using just my anecd

Yep, looks libinput is the driver in use (it says, "Using input driver 'libinput' for 'SynPS/2 Synaptics TouchPad'"). I caution you against using just my anecdote to determine anything concrete, of course.