On Thu, Jun 30, 2016 at 04:33:31PM +0200, Andreas Schwab wrote: > I think it is useful to be able to selectively disable some features, by > prefixing it with - for example. Yeah, that sounds good too. Siddhesh