Just over a month ago, the Columbus Ledger-Enquirer reported that the city’s first female mayor, Teresa Tomlinson, was weighing her options for a state-wide run. Today she announced that the …