Thanks for the reply, DKB. I am using gpointing-device-settings, but nothing I would do in the GUI would enable tapping. The only option available was to "disable tapping", which was pointless, because tapping was already disabled. Anyway, I found that by running
in a terminal, that tapping was indeed disabled. So, using terminal I changed tapping to enabled
and touchpad tapping is now working, except as noted, the settings won't stick after a re-start. I even put a line in autostart.sh to enable the setting on startup, but still can't seem to get the setting to stick.