Looks like Gnome 40 is starting to show up in the repos!