I would like the ability to change hotkeys, as ironically the ctrl+wheel is more comfortable for me

(I'm assuming this is already going to happen, but just in case....!)