The [current documentation](https://github.com/arduino/arduino-create-agent/wiki/Advanced-usage#using-multiple-configurations) is lacking detailed informations on the structure of the `config.ini` file and how it should add/customize origins,