That's not the case.
And if it were, it still wouldn't matter because the AGPLv3 source would have granted you a license to that too being a copyright license.
And if it were, it still wouldn't matter because the AGPLv3 source would have granted you a license to that too being a copyright license.
You need a copyright license to use the binary. You need a trademark license to use the trademark. See the firefox -> iceweasel kerfuffle