I'm sorry, Robert, I misunderstood the thrust of things. Thanks for clearing that up.
I think the cleanest solution would be for me to add another Python tool, plucker-fetch, which would take a URL argument, fetch the bits, and write the results to stdout. I'll just use the fetching code already available. That should properly address your concerns. Bill
