CVS update by adrian xemacsweb/Develop ...