Re[2]: more fixups for GHC docs