On 12 October 2000, Bastian Kleineidam said: > This patch fixes up any supplied command line options. Seems harmless to me. Why is it needed now, though? The "config" command is nice, but useless in practice until I finish it... Greg