In Windows Support section, it mentions uefi-edk2-bhyve port. No such port or package exists.
Over to maintainer.
With bugmeister hat, assign to the default assignee. (Current assignee is non-committer.)