Nota: por algum motivo, a barra lateral ainda não foi atualizada. Acredito que se trate de um problema separado que já observamos em outros lugares e que já estamos investigando. Por isso, vamos deixá-lo de lado por enquanto e esperamos que seja resolvido em breve assim que a correção for aplicada.