But actually I think we should just never steal tasks here, since this code gets executed very rarely anyway, and stealing is kind of an unexpected thing to happen on a lock().

I'm doing this change in the next version.