No, according to the proposal they won't give HBD to the devs. They will swap HBD to DEC in the diesel pool and they have a way to convert DEC to USD without selling it on the market. At least that's what Matt says in the proposal and the town hall.