Should we pickle `__doc__` and `__name__`?  What about other items that the user added to `__dict__`?