Thank you for the feedback!
We had two different mouses (one with infinite wheel and one with click wheel) during development, but the feedback about the sensitivity slider came too late to be implemented. It's definitely something that we should have implemented with more time.