Gnome integration problems after update to 1.13.7 on Ubuntu Noble

Gnome should work (better) with the latest snap we have published (even though the solution was more by trial and error than real understanding). Continue here for more details.

For the spellcheck problem go here.