Thanks for the post. Good info to see with certainty.
Now we can reasonably extrapolate how small any final distribution would actually be, if anything. I’m going to consider this a “case closed”. Anything more will just be a surprise gift.
Doing the simple math, the maximum we could hope for would be .017 shares