[Git][ghc/ghc][master] 2 commits: doc: improve eventlog-flush-interval flag documentation