„Jammy Jellyfish“ nutzt teilweise Gnome 42