CTRL+C should not clear the clipboard. See the original thread for details.
Thanks for the report. I've created a case.
