THANKS: added missing names

... as I reran the contrithanks script after the mailmap name fixups.

docs/THANKS

@@ -442,6 +442,7 @@ Eelco Dolstra
 Eetu Ojanen
 Egon Eckert
 Eldar Zaitov
+Elliot Saba
 Ellis Pritchard
 Elmira A Semenova
 Emanuele Bovisio
@@ -497,6 +498,7 @@ Fernando Muñoz
 Flavio Medeiros
 Florian Schoppmann
 Florian Weimer
+Florin Petriuc
 Forrest Cahoon
 Francisco Moraes
 Francois Petitjean
@@ -668,6 +670,7 @@ Jared Lundell
 Jari Aalto
 Jari Sundell
 Jason Glasgow
+Jason Juang
 Jason Liu
 Jason McDonald
 Jason S. Priebe
@@ -740,6 +743,7 @@ John Bradshaw
 John Coffey
 John Crow
 John David Anglin
+John DeHelian
 John Dennis
 John Dunn
 John E. Malmberg
@@ -1146,6 +1150,7 @@ Pat Ray
 Patrice Guerin
 Patricia Muscalu
 Patrick Bihan-Faou
+Patrick Dawson
 Patrick McManus
 Patrick Monnerat
 Patrick Rapin
@@ -1248,6 +1253,7 @@ Ralf S. Engelschall
 Ralph Beckmann
 Ralph Mitchell
 Ramana Mokkapati
+Randall S. Becker
 Randy Armstrong
 Randy McMurchy
 Ravi Pratap
@@ -1272,6 +1278,7 @@ Ricardo Cadime
 Rich Burridge
 Rich Gray
 Rich Rauenzahn
+Richard Alcock
 Richard Archer
 Richard Atterer
 Richard Bramante
@@ -1417,6 +1424,7 @@ Stefan Teleman
 Stefan Tomanek
 Stefan Ulrich
 Steinar H. Gunderson
+Stepan Broz
 Stephan Bergmann
 Stephen Brokenshire
 Stephen Collyer
@@ -1506,6 +1514,7 @@ Tom Mattison
 Tom Moers
 Tom Mueller
 Tom Regner
+Tom Seddon
 Tom Sparrow
 Tom Wright
 Tom Zerucha
@@ -1603,12 +1612,14 @@ Yun SangHo
 Yuriy Sosov
 Yves Arrouye
 Yves Lejeune
+Zachary Seguin
 Zdenek Pavlas
 Zekun Ni
 Zenju on github
 Zmey Petroff
 Zvi Har'El
 afrind on github
+ahodesuka on github
 arainchik on github
 asavah on github
 baumanj on github
@@ -1617,7 +1628,10 @@ canavan on github
 cbartl on github
 destman on github
 dkjjr89 on github
+dpull on github
 eXeC64 on github
+elelel on github
+guitared on github
 hsiao yi
 imilli on github
 jonrumsey on github

scripts/contrithanks.sh

@@ -41,6 +41,7 @@ cut -d: -f2- | \
 cut '-d(' -f1 | \
 cut '-d<' -f1 | \
 tr , '\012' | \
+sed 's/ at github/ on github/' | \
 sed 's/ and /\n/' | \
 sed -e 's/^ //' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/'