[Bug 815982] New: Review Request: gnome-shell-search-pinboard - Search your pinboard.in tags from the gnome-shell