Columbus Mayor Andrew Ginther's proposed operating budget for 2025 keeps housing a main priority, but its spending increases ...