GitHub repository: pop-os/gnome-shell-extension-pop-shop-details
Primary language: JavaScript
Description: Adds a Show Details item to applications if Pop Shop is installed