Re: [GHC] #11950: Eventlog should include delimiters showing when the process writes to the .eventlog file