Help menu improvements. Bug fix: if history.json is empty.