Document-compatibility-with-GNOME-Shell-41-and-42.patch
