Original: City remained the county seat of El Paso County until 1873, when the courthouse moved to Colorado Springs.
Simplified: It is also the county seat of El Paso County.