RIP John Michell

Man, thanks a lot for posting this. Wonderful stuff.