xemacs: A little tweak of the source url.