Along with #4336, once #6212 is done we should add an option to turn off formatting on paste.

Currently this is, as far as I know, completely done on the platform side, so not sure if we already have a facility to tell them not to format, but we should investigate and request something if not.

See related user feedback here: #6212 (comment)