On Tue, Sep 29, 2015 at 12:55:39PM -0700, Brian Norris wrote:...Seems Ben Shelton has moved on to other things...