What was your reasoning for discarding the existing header format used by git?