I found settings.ini operating on my PC! Should I be worried?