> FWIW, I liked the idea suggesting to replace our /bin/csh with tcsh.

Ugh!  Please, not unless it's a tcsh which has a csh-compatible mode
(wherein, in particular, line editing is completely disabled, using
plain read() to get command lines).  (I don't know whether any tcsh has
such a mode; I avoid tcsh when I can.)

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B