More good news — the NY Times says that William Thompson will concede the NYC mayoral Democratic nomination to Bill de Blasio. So there will be no messy runoff.