[GHC] #10467: user's guide description of "foreign export" is out of date