As far as I can tell (I am not a local), the ones in the “Distrito Capital” region are incorrect and should simply be removed from CS. The region “Distrito Capital” can be removed too.
Bogotá does seem to have partitions at admin_level 8, so those could potentially be added to Bogotá Distrito Capital - Municipio as nested cities.
For styling, it could be possible to rename the remaining “Bogotá Distrito Capital - Municipio” just “Bogotá” and the “Bogotá, Distrito Capital” to just “Distrito Capital”.
General remark: a region’s page could do with borders on its map as well as a link to the OSM entity it is based off of (if any).
I’m less inclined to update/customize naming, because that’s been pulled from OSM data. I don’t want to head down the road of custom names in CityStrides that differ from OSM.
As far as the region pages go, I actually didn’t save much data for regions from OSM. I’ll have to go back and re-collect data to make any of those requests possible. If you feel strongly about the idea, I’d suggest adding it to Ideas as a new post.
Edit: Un-marking this as resolved since I don’t have a solid answer on admin level 8 vs existing Bogotá