Hello!
Please disregard the mails that have just been delivered.
They are earlier attempts of me sending the same things, but they got
blocked at Google due to the "
gitter.im" domain. It seems that Google
has now decided that there is no danger in that...
Sorry for the inconvenience...
prom