[Notion-general] "Delete" key bindings

[Ranousse <ran...@gm...>]

To customize notion I used to copy in ~/.notion the cfg_something.lua of
interest and modify a few lines in these files.
It works and although it's not very difficult, there's something I don't
like in doing this. You have to copy the whole cfg_notioncore.lua even
if you only want to change three lines.

In this case I find more practical to add my bindings in notion.lua
after including cfg_notioncore.lua (thus writting over the old
bindings). It works for defining or modifying keys. But not for deleting
keys. So here's my question: is there a way to remove some keys or
should I continue to use the old method for this?

Thank you.