I see the option in mapsetoolkit. There’s a mapsetname, Family ID product code and registry name. Do they all need to be unique and separate from the other mapsets installed?