../ gnome-shell-extension-pop-shop-details_0.1.0~15..> 18-Oct-2025 13:13 1855 gnome-shell-extension-pop-shop-details_0.1.0~15..> 18-Oct-2025 13:13 2996 gnome-shell-extension-pop-shop-details_0.1.0~15..> 18-Oct-2025 13:13 2022