Please allow users to rebind the shortcut for comments. When I try to edit the keybinding in bindings.json, the file rewrites itself to the default config.
It seems this is a regression compared to the comment plugin that is now built-in. Apologies if this was already fixed in 2.0.9 or 2.0.10, but I did not find anything referring to this in the release notes.
Specifications
micro version: 2.0.8
OS: Debian 11
Terminal: xfce4-terminal