"Save Database" is disabled even for a mutated database and changes no longer indicated by asterisk in header bar #6608