@jonhendry Hmm. I think I saw an encyclopedia in my box of old optical media. I should rescue it before it is recycled.