It would be nice if one can choose the number of workers. Looks like it is currently defaulted according to the number of CPU cores.