Batch update.

Transitioning to the git directory for regular editing.