On 2007-03-16, Martin Maechler said: > I propose to use `` ess-swv-<foobar> '' > instead and deprecate the old names for a while before > eliminating them. This naming scheme is more beautiful. -- Leo <sdl.web AT gmail.com> (GPG Key: 9283AA3F)