On Thu, 8 Nov 2007, Heikki Levanto wrote: > I still think using the gtp 'name' command for this is not optimal, as it is > also used in GUIs to set the program name. I agree (that was my point). There needs to be a separate command like 'url'. Christoph