Paste with middle mouse button doesn't work
When working with text it's often handy to do a quick copy-paste through selection plus middle click when something else should be kept in the clipboard or if the switch to the keyboard for pasting is more complicated than doing the copy-paste with the mouse. This works well everywhere except here where nothing happens.