Don't store options or folds in session files