Very old mail address of mine that I don't really use any more, but
for some reason it is in RIOT's history, so here we go.