options.json: sort, add 'defaultImageExtension'