Thanks to the following for their help and contributions to Idris 2:

Abdelhakim Qbaich
Alex Gryzlov 
Alex Silva 
Andre Kuhlenschmidt 
André Videla 
Arnaud Bailly 
Brian Wignall 
Christian Rasmussen 
David Smith 
Edwin Brady 
Fabián Heredia Montiel
George Pollard
GhiOm 
Guillaume Allais
Ilya Rezvov 
Jan de Muijnck-Hughes 
Jeetu
Johann Rudloff
Kamil Shakirov 
Bryn Keller
Kevin Boulain 
lodi 
LuoChen 
Marc Petit-Huguenin
MarcelineVQ
Marshall Bowers 
Matthew Wilson 
Matus Tejiscak 
Michael Morgan 
Milan Kral 
Molly Miller 
Mounir Boudia 
Nicolas Biri
Niklas Larsson 
Ohad Kammar 
Peter Hajdu 
Rohit Grover
Rui Barreiro
Simon Chatterjee 
then0rTh
Theo Butler 
Tim Süberkrüb 
Timmy Jose