Apparently Zcash's dev tax was originally for the first half of the minted coins, but then they got greedy and changed it.