Update gnome-shell to version 42.4 / rev 225 via SR 994796
    
    https://build.opensuse.org/request/show/994796
    by user dimstar + dimstar_suse
    - Update to version 42.4:
      + Fix adding suggestions from on-screen keyboard
      + Allow extension updates with only Extension Manager installed
      + Only load extensions that support the current session mode
      + Fix logging in with realmd
      + Tweak access portal dialog
      + Improve overview animation performance
      + Fix remembering set up bluetooth devices
      + Plugged leak
      + Misc. bug fixes and cleanups
      + Updated translations. (forwarded request 994626 from iznogood)