Whatever happened to Tim May? The wikipedia page says "he retired in 2003", but did he really just drop off the net completely? Cursory searches turn up very

Whatever happened to Tim May? The wikipedia page says "he retired in 2003", but did he really just drop off the net completely? Cursory searches turn up very little. Edit: of course as soon as I post I then find some recent(ish) posts by him here: http://lambda-the-ultimate.org/user/3908/track http://lambda-the-ultimate.org/user/3908/track