Ian Jackson: There is one thing I would like some comments on: what names should I give to the particular aspects of this feature ? How about: "emergency override" for name of feature "debian name" for original name of file "local name" for the redirected name ? Also, it would be nice to see either some documentation or some sort of warning about the case where the file is a directory. -- Raul