re: #333 freetoken
That’s the very long approach, as Cliven could be around for years.
It’s already been going on for 20 years, so they’re evidently not in a hurry. I vaguely recall that there have been at least a couple cases where they did that.