The front page of CNN.com right now has the headline "Voters have a third choice" with a large picture of Gary Johnson!