Bill Keller edits the New York Times, not the Washington Post. Buffoonery on my part, apologies.