Perdão caso isto seja uma questão comum e eventualmente já respondida mas não consegui encontrar.
Reparei numa estrada com o nome errado (tem o nome da estrada perpendicular à mesma) na app. Fui verificar no editor e o nome da Rua lá encontra-se correcto.
Com que frequência é que as alterações são pushed para a app? Pode existir outro motivo para esta discrepância de informação?
Sim, esse mesmo. Sem certeza mas creio que já completei a alteração há mais de dois dias, no entanto na app a rua continua nomenclada como Rogério da Gama Gil ao invés de D. Manuel I.