Recode pasted text, closes #6