dist.ini: [Encoding] section