Use an ini file rather than a JSON file, since it's easier to make