Administrivia: my primary email has had a service outage

[walkitout]

Dunno when it will come back up. Gmail account still works, as do other methods of reaching me.