2008/10/9 François Revol <revol@xxxxxxx>: > can someone add this or something alike to the general FAQ ? > That would please RMS and set things right in case someone asks. But, that does suggest it's not a frequently asked question ;) IIRC, I have only seen it asked maybe once publicly during the Pingwinek discussions, and maybe once in IRC (in the last month even, perhaps why you're bringing it up now)... But, I can certainly add it if everyone thinks it's a worthy FAQ :) - Urias