[monodoc] Delete some crufty duplicate files