Author here. We just wanted to be consistent here with other GitHub-specific headers prefixed this way. We could have had different headers with different forma

Author here. We just wanted to be consistent here with other GitHub-specific headers prefixed this way. We could have had different headers with different formats or tried to change the formats of the old headers, but we figured this was the sanest way.