user-guide: Use ghc-flag for dump formatting flags