From Mikko Kurki-Suonio

Dear list members,

I am switching jobs, and I'm afraid I won't have the time to participate in
the list discussion at least for a little while.

So, I bid you farewell, hope you'll survive without my witty repartee, and
wish you fun gaming for years to come.