--- a/doc/interpreter/contributors.in	Wed Nov 29 12:32:39 2017 +0100
+++ b/doc/interpreter/contributors.in	Wed Nov 29 13:09:51 2017 +0100
@@ -98,6 +98,7 @@
 Ramon Garcia Fernandez
 Torsten Finke
 David Finkel
+Guillaume Flandin
 Colin Foster
 Jose Daniel Munoz Frias
 Brad Froehle
@@ -182,6 +183,7 @@
 Erik Kjellson
 Arno J. Klaassen
 Alexander Klein
+Lasse Kliemann
 Geoffrey Knauth
 Heine Kolltveit
 Ken Kouno
@@ -207,6 +209,7 @@
 Dirk Laurie
 Maurice LeBrun
 Friedrich Leisch
+Michael Leitner
 Johannes Leuschner
 Thorsten Liebig
 Torsten Lilge
@@ -247,6 +250,7 @@
 Serviscope Minor
 Stefan Monnier
 Rafael Monteiro
+Stephen Montgomery-Smith
 Antoine Moreau
 Kai P. Mueller
 Amod Mulay
@@ -267,6 +271,7 @@
 Akira Noda
 Kai Noda
 Patrick Noffke
+Victor Norton
 Eric Norum
 Krzesimir Nowak
 Michael O'Brien
@@ -302,6 +307,7 @@
 Francesco Potortì
 Konstantinos Poulios
 Tejaswi D. Prakash
+Hugo Raguet
 Jarno Rajahalme
 Eduardo Ramos
 Pooja Rao
@@ -365,6 +371,7 @@
 Quentin H. Spencer
 Christoph Spiel
 David Spies
+Andreas Stahel
 Richard Stallman
 Russell Standish
 Ryan Starret
@@ -416,6 +423,7 @@
 Michael Weitzel
 David Wells
 Joachim Wiesemann
+Alexander Wilms
 Georg Wiora
 Fook Fah Yap
 Sean Young
@@ -426,3 +434,4 @@
 Federico Zenith
 Claudius Zingerli
 Alex Zvoleff
+Richard Zweig