IMHO, sha3 should be part of that bounty.
Don't you have bug bounties to find and fix these things?
But this was in a public standard that we were using, we don't cover those.
Do I look like I care?