When I copy and paste text with the arrow characters Cuis does some replacements, like <span style="font-size:inherit">↑  is replaced with ^. But in many cases this is wrong, for example I have arrows in string literals, and in comments. Do we really need to do this replacement automatically? Won’t everything work fine without doing it?</span><div dir="auto"><span style="font-size:inherit"><br></span></div><div dir="auto"><span style="font-size:inherit">Thanks,</span></div><div dir="auto"><span style="font-size:inherit">Luciano</span></div>