> Richard, can the issue be closed?

I guess so (although the change could arguably be back ported).

Pickling of Exception classes is still somewhat dodgy because an example like

    class Error(Exception):
        def __init__(self, x):
            Exception.__init__(self)
            self.x = x

is still not picklable.

Any further improvements can be discussed in a separate issue, so I will close.