<div dir="auto">This should be a response to an earlier message from Дилян Палаузов, however I don't have the message to respond to.<div dir="auto"><br></div><div dir="auto">---</div><div dir="auto"><br></div><div dir="auto">I agree with the intent of your patch, but not the implementation. Instead of using the Unicode character … and thus depending on the C source file encoding as well as the HTML encoding, I suggest using the HTML entity &hellip;</div></div>