Ok, it's now overly clear that #gnome developers should change their pusher.  http://www.phoronix.com/scan.php?page=news_item&px=MTQ0NjA …