Stefan Monnier wrote: 
May we briefly, here, consider that question?
    

No, please don't.  There's gnu.discuss already.

Fine.

GNU is dead.  Long live GNU.

-t





        Stefan