Le 19/07/2022 à 10:36, Kornel Benko a écrit : > Why not simply ignore the second part, so that > \unbind "xyzzy" "some (non) emty string" > would still work. Yes, I thought about that. It is not really clean, though :) I can do it right now, but I would not want this to stay like that. JMarc