I decided I'd mention it if I had occasion to write him about anything else. Surely he's seen it, and I imagine it's just hard for a book to avoid this fate now. It's a pity, though -- I'd rather have an electronic copy (assuming no DRM) than what his publisher put out.