>So, I'm wondering if there's a way to make the Help* files (and any >other critical ones) immutable. I see no immediate solution, but will make a TODO entry regarding this. Do you run the CVS version? Ciao, Jürgen