I mean if it were that way. It would certainly make more sense semantically to call it the donation pool.
I think that is the direction sort of that whaleshares went. Have you seen how things were going over there? It's been ages since I claimed my tip balance.