On 9/24/2013 2:15 AM, Steve Borho wrote: > I've pushed commits which affect these changes and go a bit further in a few cases ... Any particular reason my commits weren't used? I even sent a PR as you requested. - Derek