Russ Allbery wrote: > [...] or between optional and extra, for *any* package? I must admit that I've never seen the practical value of that distinction. As to the rest of your message: it certainly seems worth discussing this in a bit wider context.