> That's still an extension (-XNondecreasingIndentation), just one enabled > by default. Interesting. Is there a list of extensions that are enabled by default? I'm sure whoever suggested it as default and not extension will be happy with this too. BTW, +1 from me for the proposal. Silvio