On Mon, Sep 29, 2014 at 7:47 PM, Ben Hutchings <ben@decadent.org.uk> wrote: > I think the best way to deal with this would be to add a comment > clarifying which file path is actually read. Yes, that would be really helpful!