[gambit-list] favicon.ico on gambit web site