Revised intro chapter w.r.t. Git repository.