Re: [GHC] #13836: Some event log events won't be flushed if capability count decreased with setNumCapabitilies