GNOME bans AI-generated extensions