2002-02-02 Paul Eggert <eggert@twinsun.com>