Comment 3 for bug 1821547

I think Jon's suggestion while handy, would be too non-standard.

However, Cut/Copy/Paste of symbols should be using the system clipboard, which wouldn't have this issue. The current implementation uses a simple global variable.