* Stephen: > The only solution acceptable to David is for us to distribute the > pseudo-package produced by the AUCTeX team verbatim. I see no point > in that; Convenience for the users? It would be there for the sumos, and available in the package manager without any special configuration. Pretty please? -- Ren?