`max_workers=4` seems a fairly arbitrary value. Is there a way we can select a value more intelligently? If not, I'm OK with just setting it to 4, but it's worth asking.