When I am allowed out of the house again (say sometime in 2025), I might search some drawers in the office to see if it is still around... (not likely - my last memory of it is about four offices ago, but you never know - I'm cr4p at throwing things away ).