@h5e@tech.lgbt Agreed. Meanwhile, if you're copying from a web page the 'copy plain text' browser plugin is useful.