micwoj92 [1] filed a deletion request for gnome-shell-mousewheel-zoom [2]: Not compatible with gnome anymore https://github.com/tobiasquinn/gnome-shell-mousewheel-zoom/issues/29 https://github.com/tobiasquinn/gnome-shell-mousewheel-zoom/issues/28
[1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-mousewheel-zoom/
