Apparently reduce is broken in Chrome 80.

Given that users may stay on old browser versions for unknown amounts of time, even after this is fixed ideally every website would continue including a workaround for the problem, so core-js seems like a natural place to handle it.