so ctrl-C works for pasting. How to do that on an Android phoneÉ