[GHC] #11448: New --frontend mode is only partially documented