@herr_irrtum @PepperTheVixen None are, although the GNOME project currently receives some public funding from Sovereign Tech Fund for fixing accessibility in GTK. I hope that transfers over to the GNOME Shell at some point, but that doesn't really use GTK itself.