Tell us why you think the rating for “gnome-shell-extension-drop-down-terminal-x-git” should be different. Sources help.