fix a series of Documentation/ broken file name references