That's right, I didn't see that. Is BMminer not open-source, though? As far as I know, BMminer doesn't respect the open source license. Will we be able to use that miner with other software in the future?
A little bit of hope
Bounty for Cracking Bitmain S9 BMminer
https://bitcointalk.org/index.php?topic=1569129.0