Remove OBSOLETE options that have been OBSOLETE for a long time
We've been using OBSOLETE() in config.c to mark options that used to be supported but which are no longer recognized. Maybe we should retire options that have been dead for over a certain number of years?