Current setup timestamp 1590343308 does not seem to overwrite /etc/setup/timestamp accurately (or at all). I think /etc/setup/installed.db is seen to as it should be. Fergus