registry properties in INI format