Proposal: further OptionsNG improvements

[Alexey Dokuchaev]

On Tue, Jun 18, 2013 at 12:47:47PM -0700, Jason Helfman wrote:
> > On Tue, Jun 18, 2013 at 11:56:07AM -0500, Mark Felder wrote:
> > > So we just got done porting most of the tree to a new options syntax
> > > and now we want to change it again? :-)
> >
> > Yeah, why not?  ;-)
> >
> > I've discussed that idea before with bapt@ on IRC; there is absolutely
> > no reasons why we should not use now-free nice, short OPTIONS knob again.
> 
> Perhaps your proposal would carry more weight, feedback and/or testing
> results if it included a patch and an example port with the modified values
> for your new idea.

Surely, patch would be the next step.

> This has been quiet successful in the recent past with bapt's proposals for
> options, uses, etc.

Except that sometimes I think they are not being discussed enough prior to
commit. ;-)

./danfe