<div dir="ltr">Hi, "#" characters become "$" when trying to put them into GUI labels, is there a good reason for it? Or should we just treat it as a bug and fix it?<div><br></div><div>cheers</div></div>