>>Keep them for a while more...and after all there is a big notice at the >>beginning of each file. > > > And they should always be kept somewhere at least, > as they are a good historical archive (changelog).
Right. Just for the long term: we should keep that "somewhere" in mind as an issue, since the number of such unused files and dirs will grow and make the manual rather unmaintainable one day. Sorry for brubbling before thinking, Thomas
