Ubiratan Oliverio contributed jpilot-icon1.xpm, Judd reduced the amount of colors vik vik@asi.org contributed jpilot-icon2.xpm Robert Anderson made icon2 background clear -> icon3 Judd Montgomery took icon1, lightened it, and reduced it to 16 colors and named it icon4