Duplicate shortcuts bug

Hello! I noticed something strange: There are duplicate Shortcuts in the Shortcuts Preferences window for Heidi 9.2 (it's not on the list of fixes for 9.3, so I'm posting this) The pair that's causing trouble is the "Copy". One is Ctrl+C, the other is Ctrl+Ins
I personally only use Ctrl+Ins, but the problem is that shortcut does not copy Color-Formatted code, only Simple Text (Color-Formatted code can then be inserted into Outlook, Word or any other advanced-text apps and will retain color-coding). The Ctrl+C shortcut does copy Color-Formatted code.

When I try to clear Ctrl+Ins shortcut, and add that button combo as as Secondary shortcut to Ctrl+C, it refuses to save the config changes , claiming the Shortcut with that name already exists (obviously, since there are two of them)

As a user of Ctrl+Ins as a preferred combination, I would really like the ability to use it to copy Colored Code.

Thank you.

Weird. Will check why they are listed twice.