version of Config.Designer.cs from @kes1's prev commit.