[GHC] Batch modify: #5777, #7828, #9985, #5267, #5333, #344