re: #342 reine.de.tout

And, oh. You can hire people to do an estate sale for you.
Worth it, IMO.

Absolutely. Now I’m drooling, wondering what old stuff ggt has. Selling on ebay is fun!