Document the expected convention for getstate() (as explained to me by Guido).