What Happened In Desktop Linux In 2013? Not Much