You see, folks can change the size of the pointer, and the color of the cursor if they so wish. You’ll likely won’t do this, of course, but should the need ever arise, then after reading this ...