[GHC] #13139: Documents not updating correctly?