That button is for pre-formatted text, and we (albeit niche-ly) greatly prefer highlighted code. I do see your point, but trying to explain which type of tick to use, ( ` or ’ or - or some other types) gets confusing because it’s not in the same place on every keyboard around the world and it’s not easily distinguishable from the others. Is it possible at all to add your own buttons, or is this a planned feature maybe?