External Core: %local tag

Hello, this is not really a bug-report.

I'm currently busy with some programming involving hcr files.
I noticed that GHC does not make use of the %local-tag as it is specified in
"An External Representation for the GHC Core Language (DRAFT for GHC5.02)" on
page 3.
I'd be very grateful if anyone who feels competent/responsible fixed this.
If demanded, I'd submit a patch for this, but actually I don't yet feel worthy
modifying the glorious Glasgow Haskell Compiler.

Regards
Jan