<div dir="ltr">So that&#39;s solved then. Having the official Gnome IDE for a gnome stack is quite reasonable - and if you know a better one, you&#39;re welcome to install it yourself.<br></div>