[Git][ghc/ghc] Deleted branch wip/juhp-hp2ps-fixup2