[GHC] #15889: ghc documentation doesn't explain difference between dwarf levels 1 2 and 3