dcp
I recently visited this restaurant March '22. I received a business card on leaving. The street name on the business card is 
"Rampa Paraiso". OSM has "Rua do Paraiso".
I tend to lean towards "Rampa Paraiso" because the restaurant owners know what street they are living on. However someone with local knowledge should verify and edit accordingly!
