Five desktop Linux highlights of 2007