Senior GNOME dev says users not being ignored