These files were supposed to have been deleted.

They were removed from the SVN repository in r1392. Why do they still
exist on GitHub?