Bhyve is FreeBSDs...? I don't follow how it is misleading.
I consider technology awareness, competition and diversity a very good thing, therefore I think its important to mention FreeBSD in this case (and other BSD's too in other cases).
By the way, have you donated to FreeBSD [2] and OpenSSH [3] yet? ;)