Hey!
I found that article a couple of days ago, and thought you may be really interested in such info, just read it here open link
gnome-shell-list-bounces gnome org
