>FreeBSD has this ... Be aware that adding correct include files
>for all options is a lot of work; probably way more more than
>the modifications to config(8).

Indeed, Mike Karels and I talked about emitting an options.h
(or individual files per option, but that seemed less practical),
but the need to make sure that all "option"-dependent source
files #include'd the right file(s) made me put it off (which is
where it still stands with my current "config").

Chris