Or allow user filters priority on formatting so you can modify the behavior on your own (I guess you already could with greasemonkey or some other plugin). Even

Or allow user filters priority on formatting so you can modify the behavior on your own (I guess you already could with greasemonkey or some other plugin). Even with just a toggle for disabling markdown/latex would let you copy and paste the latex code out to get unformatted text.