Christopher Baines writes: > I'm not quite sure how to address that, but I think this can still be > merged. I've gone ahead and pushed this as 10d429f2fce321d8285684503094694ec3979865. Thanks, Chris