On 2012-04-16, at 11:27 PM, Mike Wirth wrote: > Thanks, Marc, > > This looks like the kind of critical info that belongs in a README file at the top level, to be printed out, laminated in plastic and posted over my machine :-) > Indeed. I'll be changing the README and INSTALL.txt files, and the wiki. Marc