Sometimes, optimizing for the smallest diff is clearly not worth it. For example: months = ["January", "February", "March", ...] A human can make a smart

Sometimes, optimizing for the smallest diff is clearly not worth it. For example: months = ["January", "February", "March", ...] A human can make a smart decision, an autoformatter can't.