emilpro: Destroy configuration
instruction factory: Correct handling of timestamps for models

Replace model only if newer timestamp.