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

Aaron Lebahn
Abdelhakim Qbaich
Adam Brouwers-Harries
Alain Zscheile
Aleksei Volkov
Alex Gryzlov
Alex Silva
Alissa Tung
Andor Penzes
Andre Kuhlenschmidt
André Videla
Andy Lok
Anthony Lodi
Arnaud Bailly
Brian Wignall
Bryn Keller
Christian Rasmussen
Cyrill Brunner
Danylo Lapirov
David Smith
Denis Buzdalov
Edwin Brady
Fabián Heredia Montiel
Felix Springer
George Pollard
GhiOm
Giuseppe Lomurno
Guillaume Allais
Hiroki Hattori
Ilya Rezvov
Jan de Muijnck-Hughes
Jeetu
Jens Petersen
Joey Eremondi
Johann Rudloff
Kamil Shakirov
Kevin Boulain
LuoChen
Marc Petit-Huguenin
MarcelineVQ
Marshall Bowers
Mathew Polzin
Matthew Wilson
Matus Tejiscak
Michael Messer
Michael Morgan
Milan Kral
Molly Miller
Mounir Boudia
Nick Drozd
Nicolas Biri
Niklas Larsson
Ohad Kammar
Peter Hajdu
Robert Walter
rhiannon morris
Rodrigo Oliveira
Rohit Grover
Rui Barreiro
Ruslan Feizerahmanov
Sam Phillips
Simon Chatterjee
Stefan Höck
Steve Dunham
tensorknower69
then0rTh
Theo Butler
Thomas Dziedzic
Thomas E. Hansen
Tim Süberkrüb
Timmy Jose
Tom Harley
Wen Kokke
Wind Wong
Zoe Stafford

Apologies to anyone we've missed - let us know and we'll correct it (or just
send a PR with the correction).
