Seems like you didn't actually read the linked "stop theming our apps" page. They have no issue with users theming their own systems, and gnome apps are still themable. Developers have an issue with distributions shipping a custom theme by default, which breaks things and causes users to report issues which aren't the fault of the developers.