Marcus Brauchli is done as editor of the Washington Post. His successor is Marty Baron, the editor of the Boston Globe.