> Perhaps add the following sentence to the end of 
> the first paragraph: "If *object-or-type* is a proxy
>  object, *super* returns a new proxy that additionally
> skips *type*."

I'm not really sure what that even means.  Nor do I think
it was one of the use cases that Guido had in mind or is
tested in the unittest suite.

Is this something that has to be covered in the super() docs?
It seems like an implementation side-effect.