The GNOME terminal has a weird feature where you can copy text as HTML, which is really annoying when you activate it by accident but when you activate it on purpose turns out to be pretty nice, e.g. data.runhello.com/gist/2024052