The patches with a Gnome release version in their name are patches for
Gnome extensions; they ensure compatibility with the relevant Gnome
release.