This disables the "paste from clipboard" functionality for now, which is conflated with the ordinary paste at present. Combining the two isn't a good idea anyway due to various reasons, cf. #156.