In article <199504280820.EAA06570@pain.lcs.mit.edu>,
Chris G Demetriou  <Chris_G_Demetriou@LAGAVULIN.PDL.CS.CMU.EDU> wrote:
> "just when you thought you knew how to configure your kernels..."  8-)
> 
> "config" has been renamed to "config.old".
> "config.new" has been renamed to "config".
> 
> exactly two ports currently use "config," and hopefully at least one
> of them will be switching relatively soon.

If they don't switch soon enough, you should shame them into it. Rename
config.old every month or two, both for inconvenience and to escalate
the adjective (config.geriatric, config.decrepit, config.ancient...)

Yes, I'm kidding (well, 90% kidding :->)