Devers did prety well without him, too. After a very slow start, Devers posted a .923 OPS from August 18th through the end of the season. But that .556 OPS in the first 23 games brought his numbers down.
Still, just a bad 23 game stretch. His OPS after 25 games in 2019 was .690 under Cora. Devers might just be a slow starter...