When copy-pasting from the terminal, we lose the color information. It would be interesting to add a command and associated shortcut to copy text in the terminal keeping the colors and potentially other attributes (bold/underline).

Some things need to be figured out like whether we should keep the background color or not (I would suggest not - I have never willingly pasted text with background color).