devenum: Update Portuguese translation.