Another thing which should get deprecated are all csh_XX-Extensions. Beginners still install them and are wondering why nothing happens. So please change the status to deprecated and add a condition < 4.0 georg