Le 20/02/2019 à 11:25, Dr Eberhard Lisse a écrit :
That's an interesting question :-)-OMaybe a mac.local.bind for the new ones and the ones you want to dump are removed from the local copy of the full one? Or an \unbind function?
\unbind does exist, the binding GUI generates it as needed. JMarc