/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/
../
gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch
gnome-shell-extension-applications-overview-tooltip-4-old-animation.patch