Name: Extension Manager
Author: Matthew Jakeman

Redesigned extension details, unifying local and web information in a single view
Search installed extensions from the GNOME Shell overview
Show extension errors in a dedicated dialog
Supported GNOME versions are now shown in a dialog, including the installed version
Selection mode to manage several installed extensions at once
Open extension folders in Files and copy the path of system extensions
Animated screenshots
Bring back filtering of unsupported extensions
Detect when GNOME Shell is not running
Faster loading thanks to response and image caching
Accessibility improvements
Fix many crashes and memory leaks
Latest platform updates
Add Azerbaijani, Galician, Georgian, Hebrew, Cornish, Romanian, Slovak and Thai translations
Translation updates

Redesigned extension details, unifying local and web information in a single view
Search installed extensions from the GNOME Shell overview
Show extension errors in a dedicated dialog
Supported GNOME versions are now shown in a dialog, including the installed version
Selection mode to manage several installed extensions at once
Open extension folders in Files and copy the path of system extensions
Animated screenshots
Bring back filtering of unsupported extensions
Detect when GNOME Shell is not running
Faster loading thanks to response and image caching
Accessibility improvements
Fix many crashes and memory leaks
Latest platform updates
Add Azerbaijani, Galician, Georgian, Hebrew, Cornish, Romanian, Slovak and Thai translations
Translation updates

Extension Manager

Install GNOME Extensions