Hi, having just lost a few hours on a space in lang.opt where there was supposed to be none, leading to a new option being silently ignored, a request:
Would it be possible to improve the syntax checking for lang.opt? It's a file that people touch only rarely, so it is likely that they will have no experience or will already have forgotten the gotchas they encountered the last time. Regards Thomas