> to whether or not to demangle partial symbols, but probably reverting > it now would be a good idea. David, suggest seriously beefing up the comments that go with this `reversion' - revert the code but add more comments. Over to Elena. Andrew