Gary, what's your Github account? Thanks, On Mon, Aug 31, 2015 at 5:15 PM, Gary Gendel...
Gary, thanks for the report. I'm afraid that I'm not in a position any more to maintain...