Tentatively adding fastclick.js to speed up button clicking.