>- Do we really want to put not-really-related extensions in the same > document? It makes giving it a good title kinda hard, if nothing else. > Why not put it in a separate document? It must be in a separate document if it is generic.