On 17/09/2020 20:55, Gedare Bloom wrote: > ping: decision needed--should we git-ignore .ini everywhere, .ini in > top-level, or just the default config.ini in top-level? I tend to ignore the top-level *.ini files.