contributors are in the commit history

(otherwise, this list will get long)