doc referred to old directory names
rename files through many directories to avoid files with same name

at the risk of some redundancy, there should now be many fewer
occasions when there are files of the same name in several directories,
such as tei.xsl
more places using old file names changed