ludo@gnu.org (Ludovic Courtès) writes: > I think it may be useful to allow plug-ins to process, e.g., #pragmas. Of course soon after posting I noticed âPLUGIN_PRAGMASâ... Sorry for the noise, Ludoâ.