This fixes an issue when selecting all content of a Math block and typing a character would not overwrite the whole selection.
Add small patch for @codemirror/view (applied through patch-package) that fixes so that it's possible to use Alt key bindings on Mac.
Update todo-checkbox since it seems as if EditorView.posAtDom() now returns the buffer position for the start of the checkbox widget, instead of the end.