RIght now, !/foo and !/foo/** do exactly the same thing. It would give developers an extra degree of control if !/foo alone, or !/foo/, caused the directory entry foo to be unignored without unignoring its contents.