Here's a new (lightly user-tested) version of the command. I guess if
there's no objection I'll push this in a few days.

Eric