[Workaround] Use Extension manager to install gnome extensions https://flathub.org/apps/details/com.mattjakeman.ExtensionManager
[Workaround] /flathub. org/apps/ details/ com.mattjakeman .ExtensionManag er
Use Extension manager to install gnome extensions
https:/