Sebastian Herbszt wrote: > Store the label names unmangled and match those against command_line. I checked in a fix against the for-3.72 branch, but I haven't had time to test it yet. Could you look at it? -hpa