Although I renamed this to `maxCores` in the internal API, I left the JSON API unmodified.