Issue7186: document that __doc__ is not inherited by subclasses