I am updating my server and suddenly finding [[BR]] was changed to <<BR>>. Is there a script that will change all these in the shell? I refuse to do them all by hand, and prefer not to write my own script. If such a script is on the http://moinmo.in/ website, it must be well hidden. -- Gnarlie