Make "copy line down" hotkey in the shortcuts page of the marimo editor editable

[mullimanko]

Description

I would like to ask to make the "copy line(s) down" hotkey in the shortcuts page of the marimo editor editable, if feasible (possible also the "copy line(s) up" hotkey). Currently, the hotkey is not editable because https://github.com/marimo-team/marimo/pull/6843 didn't override it in the codemirror settings.
The reason is that I would find it nice if I could switch to Ctrl + D.

Suggested solution

Change codemirror settings

Are you willing to submit a PR?

• [ ] Yes

Alternatives

No response

Additional context

No response