>Better fix for bug #5923. Now the macro name can be freely edited. I was by the way experiencing difficulties with Undo. After pressing backspace in a macro, there was no way to undo changes before hitting backspace.
Don't know whether that's still a problem. Vincent