printf() format string highlight

[dxdxdt]

Checklist

• [ ] This problem exists even with the setting "C_Cpp.enhancedColorization": "Disabled"
• [ ] This bug exists for C
• [ ] This bug exists for C++
• [ ] This bug exists for Objective-C
• [ ] This bug exists for Objective-C++

The code with a problem is:

#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>

int main (void) {
	uint8_t n = 0x01;

	return printf("%02"PRIx8"\n", n) == 1;
}

It looks like:

It should look like:

The "%" not red.