Copy-paste from Terminal stripping text color

When I run commands in PHPStorm's Terminal panel, I get nice color coding.

For forensic reasons, I want to copy that output as-is and paste it to a rich text file, but pasting it strips the colors out, making it harder to read (especially for people who aren't primarily coders).

I'm not seeing a setting to enable this... did I miss something?