Diff gnome-shell-extension-applications-overview-tooltip-16-r1 with a gnome-shell-extension-applications-overview-tooltip-17

Thank you!