[Lima-commits] 01/01: Fix *ConfigOption naming ; remove some of the unused config options