This more logically groups together various settings related to taps and gestures. Cf. <https://github.com/koreader/koreader/pull/4655#issuecomment-466808273>.