== [x] Come up with a fresh list of users

In wiki/data of the old wiki we have
  grep email= user/* | wc -l
32 users

grep 'email=\|^name=' user/*

# using fishshell.com for shell programming here
pushd user ; set -l users (grep 'email=' * | cut -d: -f1) ; popd
for u in $users ; echo -n "$u " >> list ; grep $u edit-log | wc -l
>>list ; end
sort -n -k2 list

# too see the datetime for the logged nano-seconds
python3 -c 'import datetime;
print(datetime.datetime.fromtimestamp(1344940051000000//1e6))'

Applying the following filter, not to be scheduled for migration:
 * no edits done 8
 * only spam edits 2
 * only a few edits (<4 changes) and more than 5 years ago
 * edits more than 10 years ago

Rationale: if edits are a long way ago or not many, they chance is lower
  that those people will edit again. They may not even have their access
or email
  address anymore and this it is okay, if they need to register again. 
  It also does not make much sense to email them explicitely.
  So there is a cleaner list.

We end up with 12 user acccounts, here are the Wiki names for reference:
{{{
name=stefan
name=Peter Funk
name=BernhardReiter
name=DanielDiniz
name=RichardJones
name=andyfloe
name=NikolausRath
name=JohnRouillard
name=ChristofMeerwald
name=TonuMikk
name=TomEkberg
name=Magnus Schieder
}}}

Users send to Waldmann-EDV.