Finished deprecation of pointer event shunt.

src/core/pointer_events.js

@@ -1,3 +1,8 @@
+/**
+ * This file is now entirely deprecated.
+ * Future effort should simply use appropriate pointer* events and DOM addEventListener/removeEventListener as appropriate.
+*/
+
 export const PointerSettings = {
   pointerevents_method: 'pointer', // "mouse"|"pointer" use mouse for retrocompatibility issues? (none found @ now)
   // TODO implement pointercancel, gotpointercapture, lostpointercapture, (pointerover, pointerout if necessary)