OK, that sounds good.  In the past, we've added that kind of doc to the project README, but until we figure out a shared place for these kinds of utilities it could get lost in the ext_tools doc.  Any suggestions on where it should go in the meantime?