Is there an error in Gnome’s percentage? Currently it’s 14.1% which should make it #2 on the list.