Note that --vanilla replaces --no-save and --no-restore