It could be useful to have a setting (probably under "Default Copy Behavior") to toggle whether the default for Ctrl+C is to copy with theme styling, or without (#2022 mentioned similar). If not, a separate keyboard shortcut to copy without theme styling would still be more convenient than nothing.
Thanks.