I managed to install it into Codium, downloading the extension file through undocumented urls, since it didn’t appear in the list of plugins.
Newbie question: how can I change the keyboard mappings? I don’t see anything related in the “Keyboard Shortcuts” window (granted, I haven’t used Codium for a long time)
