Settings

The preferences that change how Innesta behaves, and the command line tool.