[Git][ghc/ghc][wip/dcoutts/remove-signal-tickers-docs] 2 commits: Document removal of the signal-based interval timer