You are right, exporting preserves the quotes. As there are just a couple in the text (at the moment, anyway), it's a mixed bag as to whether the time taken to generate another file, open it and copy that beats just fixing them by hand. But I was just surprised by the behavior — enough that it took me a while to figure out why my web page was broken! (If anyone is interested, the code generates text replacement rules that apply style formatting to a provided list of names with different classes, which generates this page.)

I'm still not quite sure why the copy-paste behavior would (should?) be different from the Export behavior, but as you say, maybe an insider will weigh in.