+ HighlightMsg = 0x0000000f,
+
+ // Note: mergedFormat() assumes that 0x10 - 0x80 are *only* used within the message contents,
+ // e.g. not together with any of 0x0100-0x2000!
+ // If we happen to find a use case for that, we can see if/how to implement that though.
+