It is now possible to paste plain text not copied from MPS. This fixes #15