Reddit's Deluxe Editor is buggy when pasting. Markdown mode works better, but an extra 4-space-indentation needs to precede every line. Or you prepare your code in this editor and click "Done". Empty ...