$DEGEN

For those curious, the daily tip allowance pool is 4.5M $DEGEN + 500k for @openrank boosts. Boosts follow a diminishing exponential curve, with today’s highest at 272 points. These boosts are for the top 5000 users on OpenRank, refreshed daily. https://dune.com/queries/3906066/6565183

Is it intented that only 3,757,867 of the 4.5M was allocated Today?

hamst.art $hamster /hamster 
martinvr.eth 
deploy.degen.eth

yeah, @jacek I am curious about it too,
when someone gets more allowance than the maximum, 
the allowance gets decreased to 10K becoming this extra allowance unreachable for other stakers ?