Merged
requested to merge github/fork/patrickhlauke/v4-dev-docs-js-touch-not-mobile-patch into v4-dev
...as touch is not exclusive to "mobile" anymore nowadays. also explicitly clarifies this is a fix for iOS, and that it impacts touch laptops etc as well