Improved copy and paste using the Web Clipboard extension