Thank you for your bug report, Ubuntu doesn't have GNOME 40 though so it seems rather a bug in the ppa your are using, shouldn't you make the request there to fix the issue they are creating?
Thank you for your bug report, Ubuntu doesn't have GNOME 40 though so it seems rather a bug in the ppa your are using, shouldn't you make the request there to fix the issue they are creating?