That part only talks about text files. I also know that they can be saved on .ini files too, but I've seen ppl saving them in other kinds of files (=no extension that I'm familiar with), so I'm asking about those other extensions.