jeremybennett = Jeremy Bennett <jeremy.bennett@embecosm.com>
julius = Julius Baxter <juliusbaxter@gmail.com>
pgavin = Peter Gavin <pgavin@gmail.com>
olof = Olof Kindgren <olof.kindgren@orsoc.se>
yannv = Yann Vernier <yann.vernier@orsoc.se>
stekern = Stefan Kristiansson <stefan.kristiansson@saunalahti.fi>