An update to version 4 of the Name manager is out.
I have worked hard to weed out the bugs reported to me so far. Things are definitely looking better and better.
Also I have added a feature so you can see where a name is in use. Press the “Is name used” button to get this dialog:
Have fun trying the new features!
Jan Karel Pieterse
JKP Application Development Services