lighterTouchPointerRelease.send([id, device]);
            if (device === "touch") {
              console.log("touchend", id);
              // Stop the listener that powers 4. Handle drag-to-select on touch devices.
              // A touchend means we can't be dragging to select anymore.
              //
              // This helps us not report touchmove when touch starts on one highlighter and moves
              // into another
              document
                .getElementById(id)
               