Interesting! I've wondered about that. (Also: hi again! we seem to have so many shared interests over the decades — bbs, usenet, gamedev, c2 wiki, programming languages — that we should meet up someday)