Update 2013-08-04-remove-gnome-from-debian.markdown