RM: anjuta -- RoM; unmaintained IDE, use gnome-builder instead

[Simon McVittie]

On Wed, 31 Aug 2022 at 22:14:54 -0400, Jeremy Bicha wrote:
> Never mind. gtkpod isn't really removable right now. And it doesn't
> seem practical to strip anjuta's app out and leave only the library.
> 
> I have a patch to switch the build to webkitgtk 4.1 which was my
> immediate concern.

I think you meant this mail to close #1018726 "RM: anjuta -- RoM;
unmaintained IDE, use gnome-builder instead" rather than #1018276
"gnome-shell-extension-shortcuts: needs update for GNOME Shell 43",
which I've reopened.

    smcv