Sorry to go OT but did Anthony Weiner officially drop out of the NYC Mayor’s race? He seems to have vanished.