If lang.opt is the canonical method used to declare language specific option, then there should be a feature in parsing lang.opt to override all other options.
Hard to disagree with anything you said...
If lang.opt is the canonical method used to declare language specific option, then there should be a feature in parsing lang.opt to override all other options.
Hard to disagree with anything you said...