[Zeek] Re: Zeek 4.0.0 released