On Mon, Jul 9, 2012 at 8:16 AM, Wolfgang Kerzendorf <wkerzendorf@gmail.com> wrote: > I think this would be a useful feature, should I add this as a feature request on github? Or where is the right place to put this? Sure, just file an issue on github. f