Yeah I’m struggling to understand why the same header field would be used for git options in the first place. Why ever allow users to modify that specific header?