Git removal of unused files, minor fixes.