Thursday, June 11, 2015 at 9:22 AM @mgrnbrg I mean maybe the thing to do is file a github issue? @tophtucker