Speculations about the origin of H3O+ seen in cometary mass spectra