Fix name org.freedesktop.Platform.GL.default extension
The OpenGL extension should probably have a better name than "default":
$ flatpak list
Name Application ID Version Branch Origin Installation
Blue Jeans ….bluejeans.BlueJeans 1.37.22 stable flathub user
Freedesktop Pl… …freedesktop.Platform 19.08.9 19.08 flathub user
default ….Platform.GL.default 19.08 gnome-nightly user
openh264 …op.Platform.openh264 2.0 gnome-nightly user
Feeds org.gabmus.gfeeds 0.13.4 stable flathub user
GNOME Web …gnome.Epiphany.Devel 3.36.0 master gnome-nightly user
Fractal …g.gnome.FractalDevel 4.2.2 master gnome-nightly user
GNOME Applicat… org.gnome.Platform 3.36 flathub user
GNOME Applicat… org.gnome.Platform master gnome-nightly user
GNOME Software… org.gnome.Sdk master gnome-nightly user
Maybe "Default OpenGL" or "OpenGL Default" or "Mesa" or something similar?