* (bug 3175) update filenames in documentation files