>> Gnome Shell, which is one of the few parts that does have it's own theming, doesn't use GTK at all.
https://github.com/GNOME/gnome-shell/blob/1f03599d1cf888f73a...
Seems to me that "#include <gtk/gtk.h>" means that gnome-shell does use gtk. Or maybe I am missing some nuance of your statement.