Thanks for this! We’ve had a look at it and we’re a bit hesitant to apply any formatting to this particular section. The reason for this is that these are generally commit messages—GitHub doesn’t employ any markdown flavoured formatting (including backticks!) to it on their end.