It has been moved out of GNOME core in favour of gnome-text-editor. And it is not much of a GNOME app anymore either, using custom gtksourceview fork.