Also, I made the #curl tool support up to 10000 "globs" per URL. Just keep the total number of URLs they expand to within 64 bits.

(It was more of an accidental follow-up effect as I introduced a growing array to keep them, so the previous fixed-limit array can start much smaller but also grow much larger if wanted.)