Here's a patch that...
+1 for all the changes.
One thing I noticed: your $usage includes "-V" but doesn't mention "-details" - I'm guessing you renamed the option but didn't change the $usage?
why aren't we using head() instead of get()
Just to be clear, yes we could use that small CSS file you mentioned, but that won't help my previously stated secondary goal of being able to use this on the ref guide (it's a single 5MB PDF file)
We aren't using head() because I didn't think of it . It's a good idea.
does it really matter "what percentage have X and Y?" or just "what percentage have X? what percentage have Y?"
The way I've used that script, the question has been: Can I announce that the release is available? This is answered when all parts of the release are downloadable from some threshold percentage of mirrors, thus "what percentage have X AND Y". As you say, though, this could be performed by running the script in multiple terminals with different paths. One goal of the script, though, was having just one place to go to get the answer to the question (thus lumping Maven in there too). Maybe the script could be (eventually - shouldn't block the nice changes you've made here) changed to allow multiple -path options, and print a number instead of a "." for presence or "X" for absence, representing how many of the files are downloadable at each mirror: "0", "3", etc.
Thanks for working on this, Hoss!