Ah, I wonder if that could be streamlined with a button instead of making the user copy/paste. Also, there seems to be some issues with non-escaped punctuation characters…