Translations were contributed by language translation teams.
Contributions we are aware of include:

de:	Detlef Steuer, Uwe Ligges, Martin Maechler
fr:	Philippe Grosjean
it:	Stefano Calza, Marcello Chiodi, Stefano M. Iacus, Daniele Medri,
	Angelo Mineo, Stefano Pagnotta
ja:	Nobuo Funao, Shigeru Mase, Shigenobu Aoki, Masafumi Okada
ko:	park ui-il
pt_BR:	Fernando Henrique Ferraz P. da Rosa, Cesar Henrique Torres
ru:	Dmitri I. Gouliaev, Alexey Shipunov
zh_CN:	Fei Chen, Ronggui Huang
zh_TW:	Wei-Lun Chao
