When I paste a link in Google Docs, the UI tells me that it's preserving the link I pasted. Now, if it converted
http://example.com to a google redirect link
in the doc, then I probably would not be surprised to see it show up the same way in my export.