Got rid of redid.ini files from the .gitignore, because they no longer are necessary.