Doc patch removed superfluous files, now need to remove them in SVN