You are right. I forgot to mention this.

We got about 300-350 HBD (I don't remember the exact amount). I hesitated quite a bit about what to do with those, but finally decided to take it for myself as a kind of reward for the more than a thousand of hours I spent on the previous application. They however have not been spent (they are sitting in my account) and I have no intention in spending them. Anyone is free to disagree with that move, although I think it is a fair move.

These details will be included in the next proposal, don't worry.