In past, I have fixed some issues with clipboard which were caused by well known race condition inherent to Win32 clipboard system. Symptoms were most visible with terminal sessions or WMWARE running (because it has caused some delays when putting data to clipbpard). That was about 10 months ago, but perhaps well past last year's release...