This pull request just exists to have a place to put comments.  Please don't pull!

From where did this tool come?