The patch above introduced a new issue, reported here:
The double-pasting issue should also be fixed on develop now.