Most of the mob in DC seems to have vanished; hard to believe antifa is finished for the night.