Re: darcs patch: Split ConfVar into ConfFlag and ConfVar and one more