It worked fairly well, but didn't do exactly what I wanted (I wanted scrolling to continue as usual, even if I had pressed Ctrl. The extension just stopped scrolling and zooming altogether when Ctrl was pressed). So, I decided to make my own extension, which I just published yesterday. It converts Ctrl-scroll back into normal scrolling, and it's called ZoomToScroll.