no need to JSON-serialize History
cleanup Relauncher