Why does the config file name end in .ini? Was this written by a Windows programmer? (Serious question.)