hadfl: The biggest open challenge with that was in the syntax and declaration order and working through that. I haven't gone through the history there with jlevon's feedback a long time ago.

But on reflection I do think that default off is probably a reasonable change.