- remove "other contributors" in the time of 386BSD XXX: probably we should simply refer htdocs/people/developers.html XXX: rather than maintaining two independent lists