making clear what options.cfg is about