From Ruadhán O'Donoghue, 2015-06-15: The HTML5 Pointer Events API: Combining touch, mouse, and pen