Colorado Springs' housing market slogs through tough 2023; o