CVS update by adrian xemacsweb ...