If I may butt in, MerlinMama:
If it's in the default, and you don't care about it one way or another, then it doesn't need to be in the personal.ini in the first place. The personal.ini is only for those options that are different from default. Otherwise it'd be redundant. Like, for example, you can have
which sets it for all archives.
Those things behind the ## are comments (or commented codes where you should remove the '##' only if you want to activate something), and you can delete them without fear. It makes the whole thing neater.