I was just listening to the podcast explaining how they built the neighborhood and cul-de-sac in real life, and was wondering if anyone actually added it to the map :)

I don't suppose we're really allowed to call it Cielo Rosado Court though ... are we?

I'm not the original editor, but I live on this street and can confirm that the new signage (at least in my neighborhood) went up last week.

I'd been meaning to make the edits myself, and I'm going to go ahead an add the old_name tag because I expect there will still be a lot of usage of the old name for some time.