https://wwtyrd.com/tech/romaine/what-to-do-if-your-mouse-is-lagging-on-your-mac/