They most probably know about the keyboard shortcut to paste. Linux' "Select to copy + middle-click to paste" just saves a lot of time, and has the extra bonus

They most probably know about the keyboard shortcut to paste. Linux' "Select to copy + middle-click to paste" just saves a lot of time, and has the extra bonus of being a clipboard parallel to the one accessible via traditional copy-paste shortcuts and GUI menus.....