On the old options, the mouse could have a hotkey for the pointer sensitivity. Options + does not seem like it has this, or maybe it is just harder to find. Either way, I would like to know how to do this, since this feature was very helpful. I do a lot of graphic things for my work and it is helpful to be able to shift sensitivity on the fly.
Thank you