Extension name rendered with HTML escape characters in gnome-shell-extension-prefs
Affected version
- Arch Linux
GNOME Shell 3.36.0
- Wayland
Bug summary
This will probably happen with other extensions as well, but as an example, the extension Sound Input & Output Device Chooser shows up as Sound Input & Output Device Chooser
: