Good thinking, @raydavis , I pushed  a new commit that does that.