A picture of me

Finally managed to put a decent photo of myself on my home page. (OK, “decent” is

a matter of opinion.)