Robert Whittaker
There's a tourist info board here that names the area as "Old Market Place" and from the ONS Postcode data it looks like just CO10 1TL and CO10 1RA cover this area. Those postcodes have been added to the relevant OSM properties, and the street name added to those objects.