Possibly changing the path encoding format

[Adrian Buehlmann]

On 2012-09-21 21:03, Bryan O'Sullivan wrote:
> As far as I can tell, ending a directory in .i won't matter under "dh/",
> as it will be impossible for directory and file names to clash in the
> same way as they can under "data/". Under "dh/", directory names are
> always short, and file names are always long.

Right. Which I already wrote in the part you snipped away :-)