I voted NO on this proposal.
While I appreciate the responsible disclosure of the bug, I believe 5,000 HBD is excessive. In my opinion, 10% of that amount would have been more than sufficient as a reward.
If a bounty is granted, I would prefer it to be paid in SPS or card packs, which would support the Splinterlands ecosystem rather than creating additional cash outflow from the DAO.
We should also establish a clear bug bounty policy before approving large payouts like this.