[Git][ghc/ghc][wip/jeltsch/module-graph-reuse-in-downsweep] Extend and improve the documentation of `downsweep`