It’s (basically) official: Councilwoman Darlene Harris is running for mayor