>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> BTW, Jean-Marc, is there a special reason why we don't use Juergen> opening quotes after '['? I think we should (analogous to Juergen> '('). Yes, we definitely should. Did you fix that? (1.3.5cvs could use this too). JMarc