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?